An unusual temporal logic

Alexander Rabinovich

doi:https://doi.org/10.1007/978-3-642-40313-2_65

An unusual temporal logic

Alexander Rabinovich

School of Computer Science

Tel Aviv University

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

Abstract

Kamp's theorem states that the temporal logic with modalities Until and Since has the same expressive power as the First-Order Monadic Logic of Order (FOMLO) over Real and Natural time flows. Kamp notes that there are expressions which deserve to be regarded as tense operators but are not representable within FOMLO. The words 'mostly' and 'usually' are examples of such expressions. We propose a formalization of 'usually' as a generalized Mostowski quantifier and prove an analog of Kamp's theorem.

Original language	English
Title of host publication	Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Proceedings
Pages	741-752
Number of pages	12
DOIs	https://doi.org/10.1007/978-3-642-40313-2_65
State	Published - 2013
Event	38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013 - Klosterneuburg, Austria Duration: 26 Aug 2013 → 30 Aug 2013

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8087 LNCS

Conference

Conference	38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013
Country/Territory	Austria
City	Klosterneuburg
Period	26/08/13 → 30/08/13

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

https://doi.org/10.1007/978-3-642-40313-2_65

Cite this

@inproceedings{a9f17e79210e45d48d889598b8bf8a60,

title = "An unusual temporal logic",

abstract = "Kamp's theorem states that the temporal logic with modalities Until and Since has the same expressive power as the First-Order Monadic Logic of Order (FOMLO) over Real and Natural time flows. Kamp notes that there are expressions which deserve to be regarded as tense operators but are not representable within FOMLO. The words 'mostly' and 'usually' are examples of such expressions. We propose a formalization of 'usually' as a generalized Mostowski quantifier and prove an analog of Kamp's theorem.",

author = "Alexander Rabinovich",

year = "2013",

doi = "https://doi.org/10.1007/978-3-642-40313-2_65",

language = "الإنجليزيّة",

isbn = "9783642403125",

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

pages = "741--752",

booktitle = "Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Proceedings",

note = "38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013 ; Conference date: 26-08-2013 Through 30-08-2013",

}

Rabinovich, A 2013, An unusual temporal logic. in Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8087 LNCS, pp. 741-752, 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, Klosterneuburg, Austria, 26/08/13. https://doi.org/10.1007/978-3-642-40313-2_65

An unusual temporal logic. / Rabinovich, Alexander.
Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Proceedings. 2013. p. 741-752 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8087 LNCS).

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

TY - GEN

T1 - An unusual temporal logic

AU - Rabinovich, Alexander

PY - 2013

Y1 - 2013

N2 - Kamp's theorem states that the temporal logic with modalities Until and Since has the same expressive power as the First-Order Monadic Logic of Order (FOMLO) over Real and Natural time flows. Kamp notes that there are expressions which deserve to be regarded as tense operators but are not representable within FOMLO. The words 'mostly' and 'usually' are examples of such expressions. We propose a formalization of 'usually' as a generalized Mostowski quantifier and prove an analog of Kamp's theorem.

AB - Kamp's theorem states that the temporal logic with modalities Until and Since has the same expressive power as the First-Order Monadic Logic of Order (FOMLO) over Real and Natural time flows. Kamp notes that there are expressions which deserve to be regarded as tense operators but are not representable within FOMLO. The words 'mostly' and 'usually' are examples of such expressions. We propose a formalization of 'usually' as a generalized Mostowski quantifier and prove an analog of Kamp's theorem.

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

U2 - https://doi.org/10.1007/978-3-642-40313-2_65

DO - https://doi.org/10.1007/978-3-642-40313-2_65

M3 - منشور من مؤتمر

SN - 9783642403125

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

SP - 741

EP - 752

BT - Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Proceedings

T2 - 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013

Y2 - 26 August 2013 through 30 August 2013

ER -

An unusual temporal logic

Abstract

Publication series

Conference

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this