Temporal Equilibrium Logic with past operators

Journal of Applied Non-Classical Logics 27 (3-4):161-177 (2017)
  Copy   BIBTEX


In this paper, we study the introduction of modal past temporal operators in Temporal Equilibrium Logic, an hybrid formalism that mixes linear-time modalities and logic programs interpreted under stable models and their characterisation in terms of Equilibrium Logic. We show that Kamp’s translation can also be used to translate the new extension of TEL with past operators into Quantified Equilibrium Logic. Additionally, we provide a method for removing past operators that consists in replacing past-time subformulas by fresh auxiliary atoms, obtaining an equivalent formula, modulo the original alphabet.



    Upload a copy of this work     Papers currently archived: 76,391

External links

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

Through your library

Similar books and articles

Two Temporal Logics of Contingency.Matteo Pascucci - 2015 - Australasian Journal of Logic 12 (2):121-134.
A quick axiomatisation of LTL with past.Martin Lange - 2005 - Mathematical Logic Quarterly 51 (1):83-88.
Reverse Public Announcement Operators on Expanded Models.Ryuichi Sebastian Haney - 2018 - Journal of Logic, Language and Information 27 (3):205-224.
Expressive completeness of temporal logic of trees.Bernd-Holger Schlingloff - 1992 - Journal of Applied Non-Classical Logics 2 (2):157-180.
Necessity and unactualized possibilities in Aristotle.Michael J. White - 1980 - Philosophical Studies 38 (3):287 - 298.
Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
Contrary to time conditionals in Talmudic logic.M. Abraham, D. M. Gabbay & U. Schild - 2012 - Artificial Intelligence and Law 20 (2):145-179.
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.


Added to PP

24 (#483,521)

6 months
1 (#451,971)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

The Stable Model Semantics for Logic Programming.Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.
Tense Logic and the Theory of Linear Order.Johan Anthony Wilem Kamp - 1968 - Dissertation, University of California, Los Angeles

Add more references