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 - 10.1007/978-3-642-40313-2_65

DO - 10.1007/978-3-642-40313-2_65

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

AN - SCOPUS:84885230792

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 -