An axiomatization for until and since over the reals without the IRR rule

Studia Logica 51 (2):165 - 193 (1992)
  Copy   BIBTEX

Abstract

We give a Hilbert style axiomatization for the set of formulas in the temporal language with Until and Since which are valid over the real number flow of time. The axiomatization, which is orthodox in the sense of only having the usual temporal rules of inference, is complete with respect to single formulas.

Categories

Keywords

Reprint years

DOI

10.1007/bf00370112

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

Axiomatisation and decidability off andp in cyclical time.Mark Reynolds - 1994 - Journal of Philosophical Logic 23 (2):197 - 224.
Axiomatising first-order temporal logic: Until and since over linear time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.
Axiomatization of a Branching Time Logic with Indistinguishability Relations.Alberto Gatto - 2016 - Journal of Philosophical Logic 45 (2):155-182.
The complexity of temporal logic over the reals.Mark Reynolds - 2010 - Annals of Pure and Applied Logic 161 (8):1063-1096.
Wally axiomatics of Branching Continuations.Petr Švarný - unknown
Revisiting separation: Algorithms and complexity.Daniel Oliveira & João Rasga - 2021 - Logic Journal of the IGPL 29 (3):251-302.
A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus.Jordi Rebagliato & Ventura Verdú - 1994 - Mathematical Logic Quarterly 40 (1):61-68.
Characterizing Belnap's Logic via De Morgan's Laws.Alexej P. Pynko - 1995 - Mathematical Logic Quarterly 41 (4):442-454.
A finite axiomatization of the set of strongly valid ockhamist formulas.Alberto Zanardo - 1985 - Journal of Philosophical Logic 14 (4):447 - 468.
Obligation as weakest permission: A strongly complete axiomatization.Frederik van de Putte - 2016 - Review of Symbolic Logic 9 (2):370-379.

Analytics

Added to PP
2009-01-28

Downloads
38 (#599,063)

6 months
3 (#1,484,930)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Derivation rules as anti-axioms in modal logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
Combining Temporal Logic Systems.Marcelo Finger & Dov Gabbay - 1996 - Notre Dame Journal of Formal Logic 37 (2):204-232.
The complexity of temporal logic over the reals.Mark Reynolds - 2010 - Annals of Pure and Applied Logic 161 (8):1063-1096.
Axiomatisation and decidability off andp in cyclical time.Mark Reynolds - 1994 - Journal of Philosophical Logic 23 (2):197 - 224.

View all 11 citations / Add more citations

References found in this work

Axioms for tense logic. I. "Since" and "until".John P. Burgess - 1982 - Notre Dame Journal of Formal Logic 23 (4):367-374.
The decision problem for linear temporal logic.John P. Burgess & Yuri Gurevich - 1985 - Notre Dame Journal of Formal Logic 26 (2):115-128.
A complete deductive-system for since-until branching-time logic.Alberto Zanardo - 1991 - Journal of Philosophical Logic 20 (2):131 - 148.
The Domino relation: Flattening a two-dimensional logic.Steven Kuhn - 1989 - Journal of Philosophical Logic 18 (2):173 - 195.

View all 7 references / Add more references