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

Links

PhilArchive



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

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 note on the completeness of Kozen's axiomatisation of the propositional μ-calculus.Igor Walukiewicz - 1996 - Bulletin of Symbolic Logic 2 (3):349-366.
Axiomatisation and decidability off andp in cyclical time.Mark Reynolds - 1994 - Journal of Philosophical Logic 23 (2):197 - 224.
An Axiomatisation of a Pure Calculus of Names.Piotr Kulicki - 2012 - Studia Logica 100 (5):921-946.
Axiomatising first-order temporal logic: Until and since over linear time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.
Experiencing the Past and Thinking about the Past : Why Understanding the Concept of the Past Depends on Recollective Memories of Particular Past Events.Dorothea Debus - unknown
The past hypothesis meets gravity.Craig Callender - 2010 - In Andreas Hüttemann & Gerhard Ernst (eds.), Time, Chance and Reduction. Cambridge, UK: Cambridge University Press. pp. 34-58.
Sur l'axiomatisation de la physique.Tcheslas Bialobrzeski - 1928 - Revue de Métaphysique et de Morale 35 (2):207 - 218.
On the axiomatisation of subjective probabilities.Simon French - 1982 - Theory and Decision 14 (1):19-33.
E-Capacities and the Ellsberg Paradox.Jürgen Eichberger & David Kelsey - 1999 - Theory and Decision 46 (2):107-138.
The axiomatisation of theories of material necessity.J. P. Cleave - 1979 - Notre Dame Journal of Formal Logic 20 (1):180-190.
Axiomatisation et formalisation de la théorie hexagonale de l'opposition de M. R. blanché (système b).Georges Kalinowski - 1967 - Les Etudes Philosophiques 22 (2):203 - 209.
Memory, expression, and past-tense self-knowledge.William Child - 2006 - Philosophy and Phenomenological Research 73 (1):54–76.
An Axiomatisation of Set Theory.John von Neumann - 1925 - In J. Van Heijenoort (ed.), From Frege to Gödel: A Source Book in Mathematical Logic, 1879--1931. Harvard University Press. pp. 393--413.
A formal model of multi-agent belief-interaction.John Cantwell - 2006 - Journal of Logic, Language and Information 15 (4):397-422.

Analytics

Added to PP
2013-10-31

Downloads
23 (#626,176)

6 months
2 (#1,015,942)

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