Extending Kamp's Theorem to Model Time Granularity

DOI10.1093/LOGCOM/12.4.641MaRDI QIDQ3146305zbMATH OpenOpenAlexFDO

Authors Angelo Montanari, Adriano Peron, Alberto Policriti

Publication date 13 March 2003

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/12.4.641

zbMATH Keywords

\(\omega\)-layered temporal structuresfunctional completenessKamp's theoremlinear temporal logictemporal operatorstime granularityUntil operator

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• A proof of Stavi's theorem
• An unusual temporal logic
• Future temporal logic needs infinitely many modalities
• Arity hierarchy for temporal logics
• On almost future temporal logics

Cited in

(4)

• The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
• Definability and decidability of binary predicates for time granularity
• On Hamblin's 15 tense theorem.
• On the relationships between theories of time granularity and the monadic second-order theory of one successor

This page was built for publication: Extending Kamp's Theorem to Model Time Granularity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3146305)