A framework for decidable metrical logics

Yoram Hirshfeld; Alexander Rabinovich

doi:10.1007/3-540-48523-6_39

A framework for decidable metrical logics

Yoram Hirshfeld, Alexander Rabinovich

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

24 Scopus citations

Abstract

We propose a framework for defining decidable temporal logics. It is strong enough to define in it all the decidable temporal logics that we found in the literature. We use as semantics the standard model of the positive real line and we use robust logical notions and techniques.

Original language	English
Title of host publication	Automata, Languages and Programming - 26th International Colloquium, ICALP 1999, Proceedings
Publisher	Springer Verlag
Pages	422-432
Number of pages	11
ISBN (Print)	3540662243, 9783540662242
DOIs	https://doi.org/10.1007/3-540-48523-6_39
State	Published - 1999
Event	26th International Colloquium on Automata, Languages and Programming, ICALP 1999 - Prague, Czech Republic Duration: 11 Jul 1999 → 15 Jul 1999

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1644 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	26th International Colloquium on Automata, Languages and Programming, ICALP 1999
Country/Territory	Czech Republic
City	Prague
Period	11/07/99 → 15/07/99

Access to Document

10.1007/3-540-48523-6_39

Cite this

Hirshfeld, Y., & Rabinovich, A. (1999). A framework for decidable metrical logics. In Automata, Languages and Programming - 26th International Colloquium, ICALP 1999, Proceedings (pp. 422-432). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1644 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-48523-6_39

@inproceedings{7cd23c6615fa441d99d7a5496d330a56,

title = "A framework for decidable metrical logics",

abstract = "We propose a framework for defining decidable temporal logics. It is strong enough to define in it all the decidable temporal logics that we found in the literature. We use as semantics the standard model of the positive real line and we use robust logical notions and techniques.",

author = "Yoram Hirshfeld and Alexander Rabinovich",

year = "1999",

doi = "10.1007/3-540-48523-6_39",

language = "אנגלית",

isbn = "3540662243",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "422--432",

booktitle = "Automata, Languages and Programming - 26th International Colloquium, ICALP 1999, Proceedings",

address = "גרמניה",

note = "26th International Colloquium on Automata, Languages and Programming, ICALP 1999 ; Conference date: 11-07-1999 Through 15-07-1999",

}

Hirshfeld, Y & Rabinovich, A 1999, A framework for decidable metrical logics. in Automata, Languages and Programming - 26th International Colloquium, ICALP 1999, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1644 LNCS, Springer Verlag, pp. 422-432, 26th International Colloquium on Automata, Languages and Programming, ICALP 1999, Prague, Czech Republic, 11/07/99. https://doi.org/10.1007/3-540-48523-6_39

A framework for decidable metrical logics. / Hirshfeld, Yoram ; Rabinovich, Alexander.
Automata, Languages and Programming - 26th International Colloquium, ICALP 1999, Proceedings. Springer Verlag, 1999. p. 422-432 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1644 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A framework for decidable metrical logics

AU - Hirshfeld, Yoram

AU - Rabinovich, Alexander

PY - 1999

Y1 - 1999

N2 - We propose a framework for defining decidable temporal logics. It is strong enough to define in it all the decidable temporal logics that we found in the literature. We use as semantics the standard model of the positive real line and we use robust logical notions and techniques.

AB - We propose a framework for defining decidable temporal logics. It is strong enough to define in it all the decidable temporal logics that we found in the literature. We use as semantics the standard model of the positive real line and we use robust logical notions and techniques.

UR - http://www.scopus.com/inward/record.url?scp=84887491417&partnerID=8YFLogxK

U2 - 10.1007/3-540-48523-6_39

DO - 10.1007/3-540-48523-6_39

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84887491417

SN - 3540662243

SN - 9783540662242

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 422

EP - 432

BT - Automata, Languages and Programming - 26th International Colloquium, ICALP 1999, Proceedings

PB - Springer Verlag

T2 - 26th International Colloquium on Automata, Languages and Programming, ICALP 1999

Y2 - 11 July 1999 through 15 July 1999

ER -

A framework for decidable metrical logics

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this