J. F. Allen
1983
Maintaining Knowledge about Temporal Intervals
Communications of the ACM
26(11)
832–843
10.1145/182.358434
L. Bozzelli
H. van Ditmarsch
S. Pinchinat
2015
The Complexity of One-agent Refinement Modal Logic
Theoretical Computer Science
603
C
58–83
10.1016/j.tcs.2015.07.015
L. Bozzelli
A. Molinari
A. Montanari
A. Peron
2017
An in-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions
SEFM
https://www.dimi.uniud.it/la-ricerca/pubblicazioni/preprints/2.2017/
L. Bozzelli
A. Molinari
A. Montanari
A. Peron
2017
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions
Technical Report
University of Udine, Italy
https://www.dimi.uniud.it/la-ricerca/pubblicazioni/preprints/3.2017/
L. Bozzelli
A. Molinari
A. Montanari
A. Peron
P. Sala
2016
Interval Temporal Logic Model Checking: the Border Between Good and Bad HS Fragments
IJCAR
LNAI 9706
389–405
10.1007/978-3-319-40229-1_27
L. Bozzelli
A. Molinari
A. Montanari
A. Peron
P. Sala
2016
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
FSTTCS
26:1–14
10.4230/LIPIcs.FSTTCS.2016.26
L. Bozzelli
A. Molinari
A. Montanari
A. Peron
P. Sala
2016
Model Checking the Logic of Allen's Relations Meets and Started-by is ^-Complete
GandALF
76–90
10.4204/EPTCS.226.6
D. Bresolin
D. Della Monica
V. Goranko
A. Montanari
G. Sciavicco
2014
The dark side of interval temporal logic: marking the undecidability border
Annals of Mathematics and Artificial Intelligence
71(1-3)
41–83
10.1007/s10472-013-9376-4
A. K. Chandra
D. C. Kozen
L. J. Stockmeyer
1981
Alternation
Journal of the ACM
28(1)
114–133
10.1145/322234.322243
E. A. Emerson
J. Y. Halpern
1986
``Sometimes'' and ``not never'' revisited: on branching versus linear time temporal logic
Journal of the ACM
33
1
151–178
10.1145/4904.4999
J. Ferrante
C. Rackoff
1975
A Decision Procedure for the First Order Theory of Real Addition with Order
SIAM Journal of Computation
4
1
69–76
10.1137/0204006
F. Giunchiglia
P. Traverso
1999
Planning as Model Checking
ECP
LNCS 1809
Springer
1–20
10.1007/10720246_1
J. Y. Halpern
Y. Shoham
1991
A Propositional Modal Logic of Time Intervals
Journal of the ACM
38(4)
935–962
10.1145/115234.115351
S. C. Kleene
1956
Representation of Events in Nerve Nets and Finite Automata
Automata Studies
34
Princeton University Press
3–41
A. Lomuscio
J. Michaliszyn
2013
An Epistemic Halpern-Shoham Logic
IJCAI
1010–1016
http://dl.acm.org/citation.cfm?id=2540128.2540274
A. Lomuscio
J. Michaliszyn
2014
Decidability of model checking multi-agent systems against a class of EHS specifications
ECAI
543–548
10.3233/978-1-61499-419-0-543
A. Lomuscio
J. Michaliszyn
2016
Model Checking Multi-agent Systems Against Epistemic HS Specifications with Regular Expressions
KR
AAAI Press
298–307
A. Lomuscio
F. Raimondi
2006
MCMAS: A Model Checker for Multi-agent Systems
TACAS
LNCS 3920
Springer
450–454
10.1007/11691372_31
J. Marcinkowski
J. Michaliszyn
2014
The Undecidability of the Logic of Subintervals
Fundamenta Informaticae
131(2)
217–240
10.3233/FI-2014-1011
A. Molinari
A. Montanari
A. Murano
G. Perelli
A. Peron
2016
Checking interval properties of computations
Acta Informatica
10.1007/s00236-015-0250-1
A. Molinari
A. Montanari
A. Peron
2015
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS
TIME
90–100
10.1109/TIME.2015.12
A. Molinari
A. Montanari
A. Peron
2015
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives
CSL
193–210
10.4230/LIPIcs.CSL.2015.193
A. Molinari
A. Montanari
A. Peron
P. Sala
2016
Model Checking Well-Behaved Fragments of HS: the (Almost) Final Picture
KR
473–483
B. Moszkowski
1983
Reasoning About Digital Circuits
Stanford University
CA
A. Pnueli
1977
The temporal logic of programs
FOCS
IEEE
46–57
10.1109/SFCS.1977.32
I. Pratt-Hartmann
2005
Temporal prepositions and their logic
Artificial Intelligence
166(1-2)
1–36
10.1016/j.artint.2005.04.003
P. Roeper
1980
Intervals and Tenses
J. Philosophical Logic
9
451–469
10.1007/BF00262866
Y. Venema
1990
Expressiveness and Completeness of an Interval Tense Logic
Notre Dame Journal of Formal Logic
31(4)
529–547
10.1305/ndjfl/1093635589