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 -