A quick axiomatisation of LTL with past

Mathematical Logic Quarterly 51 (1):83-88 (2005)
  Copy   BIBTEX

Abstract

The paper defines focus games for satisfiability of linear time temporal logic with past operators. The games are defined in such a way that a complete axiomatisation can easily be obtained from the game rules

Categories

Keywords

Reprint years

DOI

10.1002/malq.200410009

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

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

Axiomatising first-order temporal logic: Until and since over linear time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.
An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK.Erica Calardo & Vladimir Rybakov - 2007 - Logic Journal of the IGPL 15 (3):239-254.
Strong Completeness of a First-Order Temporal Logic for Real Time.Robert Goldblatt - forthcoming - Review of Symbolic Logic:1-18.
Temporal logic and its application to normative reasoning.Emiliano Lorini - 2013 - Journal of Applied Non-Classical Logics 23 (4):372-399.
Logics for Qualitative Coalitional Games.Thomas Agotnes, Wiebe van der Hoek & Michael Wooldridge - 2009 - Logic Journal of the IGPL 17 (3):299-321.
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking.Dimitar P. Guelev, Catalin Dima & Constantin Enea - 2011 - Journal of Applied Non-Classical Logics 21 (1):93-131.
Axiomatisation and decidability off andp in cyclical time.Mark Reynolds - 1994 - Journal of Philosophical Logic 23 (2):197 - 224.
Back from the future.Andrea Masini, Lucio Vigano & Marco Volpe - 2010 - Journal of Applied Non-Classical Logics 20 (3):241-277.
Defeasible linear temporal logic.Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta & Ivan Varzinczak - 2023 - Journal of Applied Non-Classical Logics 33 (1):1-51.
Temporal Equilibrium Logic with past operators.Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez & Concepción Vidal - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):161-177.

Analytics

Added to PP
2013-10-31

Downloads
25 (#887,547)

6 months
2 (#1,691,363)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Linear temporal logic with until and next, logical consecutions.V. Rybakov - 2008 - Annals of Pure and Applied Logic 155 (1):32-45.

Add more citations

References found in this work

No references found.

Add more references