A separation theorem for discrete-time interval temporal logic

&
Journal of Applied Non-Classical Logics 32 (1):28-54 (2022)
  Copy   BIBTEX

Abstract

Gabbay's separation theorem about linear temporal logic with past has proved to be one of the most useful theoretical results in temporal logic. In this paper, we establish an analogous statement a...

Categories

Keywords

Reprint years

DOI

10.1080/11663081.2022.2050135

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

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

A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time.Alfredo Burrieza & Inma P. De Guzmán - 1992 - Journal of Applied Non-Classical Logics 2 (2):181-200.
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Revisiting separation: Algorithms and complexity.Daniel Oliveira & João Rasga - 2021 - Logic Journal of the IGPL 29 (3):251-302.
Temporal Gödel-Gentzen and Girard translations.Norihiro Kamide - 2013 - Mathematical Logic Quarterly 59 (1-2):66-83.
Temporal non-commutative logic: Expressing time, resource, order and hierarchy.Norihiro Kamide - 2009 - Logic and Logical Philosophy 18 (2):97-126.
Interval-Related Interpolation in Interval Temporal Logics.Dimitar Guelev - 2001 - Logic Journal of the IGPL 9 (5):677-685.
Rule Separation and Embedding Theorems for Logics Without Weakening.Clint J. van Alten & James G. Raftery - 2004 - Studia Logica 76 (2):241-274.
Rule Separation and Embedding Theorems for Logics Without Weakening.C. J. van Alten & J. G. Raftery - 2004 - Studia Logica 76 (2):241-274.
Incompleteness of a first-order Gödel logic and some temporal logics of programs.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - In Kleine Büning Hans (ed.), Computer Science Logic. CSL 1995. Selected Papers. Springer. pp. 1--15.
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.
A Minimal Hybrid Logic For Intervals.Altaf Hussain - 2006 - Logic Journal of the IGPL 14 (1):35-62.
Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals.André Vellino - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 521-536.
Tense logic for discrete future time.Patrick Schindler - 1970 - Journal of Symbolic Logic 35 (1):105-118.
A Structure Theorem for Free Temporal Algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (2):249-256.
The true bisimulations for 'since' and 'until'.Holger Sturm - 2002 - Logic and Logical Philosophy 10:173.

Analytics

Added to PP
2022-04-21

Downloads
15 (#943,292)

6 months
7 (#421,763)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Null. Null - 2016 - Philosophy Study 6 (9).
Executing Temporal Logic Programs.Joseph Y. Halpern & B. C. Moszkowski - 1988 - Journal of Symbolic Logic 53 (1):309.

View all 8 references / Add more references