A Road Map of Interval Temporal Logics and Duration Calculi

, &
Journal of Applied Non-Classical Logics 14 (1-2):9-54 (2004)
  Copy   BIBTEX

Abstract

We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.

Categories

Keywords

Reprint years

DOI

10.3166/jancl.14.9-54

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Foreword.Valentin Goranko & Angelo Montanari - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):7-8.
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions.Davide Bresolin, Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2010 - Annals of Pure and Applied Logic 161 (3):289-304.
Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
Cut-free Calculi and Relational Semantics for Temporal STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In Francesco Calimeri, Nicola Leone & Marco Manna (eds.), Logics in Artificial Intelligence. Springer. pp. 803 - 819.
A duration calculus with neighborhood modalities.Suman Roy - 2010 - Journal of Applied Non-Classical Logics 20 (1-2):81-126.
Linear-time temporal logics with Presburger constraints: an overview ★.Stéphane Demri - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):311-347.
A general tableau method for propositional interval temporal logics: Theory and implementation.V. Goranko, A. Montanari, P. Sala & G. Sciavicco - 2006 - Journal of Applied Logic 4 (3):305-330.
Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics.Eugenio Orlandelli - forthcoming - Logic and Logical Philosophy:1.
Proof theory: sequent calculi and related formalisms.Katalin Bimbo - 2014 - Boca Raton: CRC Press, Taylor & Francis Group.
The Unrestricted Combination of Temporal Logic Systems.Marcelo Finger & M. Weiss - 2002 - Logic Journal of the IGPL 10 (2):165-189.

Analytics

Added to PP
2014-01-21

Downloads
819 (#28,981)

6 months
128 (#40,988)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Valentin Goranko
Stockholm University

Citations of this work

Semantics and Proof Theory of the Epsilon Calculus.Richard Zach - 2017 - In Ghosh Sujata & Prasad Sanjiva (eds.), Logic and Its Applications. ICLA 2017. Springer. pp. 27-47.
Nuel Belnap on Indeterminism and Free Action.Thomas Müller (ed.) - 2014 - Wien, Austria: Springer.
Temporal prepositions and their logic.Ian Pratt-Hartmann - 2005 - Artificial Intelligence 166 (1-2):1-36.

View all 11 citations / Add more citations

References found in this work

Elements of symbolic logic.Hans Reichenbach - 1980 - London: Dover Publications.
Modal logic with names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
Multi-dimensional modal logic.Maarten Marx - 1996 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.
Events, instants and temporal reference.Hans Kamp - 1979 - In Rainer Bäuerle, Urs Egli & Arnim von Stechow (eds.), Semantics from different points of view. New York: Springer Verlag. pp. 376--418.

View all 14 references / Add more references