Studia Logica 57 (2-3):279 - 302 (1996)

Abstract
We present an axiomatisation for the first-order temporal logic with connectives Until and Since over the class of all linear flows of time. Completeness of the axiom system is proved.We also add a few axioms to find a sound and complete axiomatisation for the first order temporal logic of Until and Since over rational numbers time.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00370836
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,431
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Course in Mathematical Logic.J. L. Bell - 1977 - Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..
Model Theory for Tense Logics.Dov M. Gabbay - 1975 - Annals of Mathematical Logic 8 (1):185.
A Complete Deductive-System for Since-Until Branching-Time Logic.Alberto Zanardo - 1991 - Journal of Philosophical Logic 20 (2):131 - 148.
Axioms for Tense Logic. I. ``Since'' and ``Until''.John P. Burgess - 1982 - Notre Dame Journal of Formal Logic 23 (4):367-374.

View all 8 references / Add more references

Citations of this work BETA

Decidable Fragments of First-Order Temporal Logics.Ian Hodkinson, Frank Wolter & Michael Zakharyaschev - 2000 - Annals of Pure and Applied Logic 106 (1-3):85-134.
Temporal Logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.
Temporal Logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.

Add more citations

Similar books and articles

A Logic for Metric and Topology.Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):795 - 828.
Axiomatisation and Decidability Off Andp in Cyclical Time.Mark Reynolds - 1994 - Journal of Philosophical Logic 23 (2):197 - 224.
Linear, Branching Time and Joint Closure Semantics for Temporal Logic.Joeri Engelfriet & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (4):389-425.
Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.
Naming Worlds in Modal and Temporal Logic.D. M. Gabbay & G. Malod - 2002 - Journal of Logic, Language and Information 11 (1):29-65.
Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.

Analytics

Added to PP index
2009-01-28

Total views
73 ( #132,412 of 2,372,021 )

Recent downloads (6 months)
5 ( #161,513 of 2,372,021 )

How can I increase my downloads?

Downloads

My notes