Expressiveness, Decidability, and Undecidability of Interval Temporal Logic

Abstract

Interval Temporal Logics are formalisms particularly suitable to express temporal properties. Unlike standard temporal logics, they use intervals, instead of points, as primitive ontological entities. The most studied propositional interval temporal logic is Halpern and Shoham’s Modal Logic of Time Intervals (HS for short). It features a modal operator for… (More)

Topics

20 Figures and Tables

Cite this paper

@inproceedings{Montanari2011ExpressivenessDA, title={Expressiveness, Decidability, and Undecidability of Interval Temporal Logic}, author={Angelo Montanari and Guido Sciavicco and Valentin Goranko}, year={2011} }