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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
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..
Temporal Logic: Mathematical Foundations and Computational Aspects.Dov M. Gabbay, Ian Hodkinson & Mark A. Reynolds - 1994 - Oxford University Press on Demand.
A Course in Mathematical Logic.J. L. Bell & M. Machover - 1978 - British Journal for the Philosophy of Science 29 (2):207-208.
Elementary Predicate Logic.Wilfrid Hodges, D. Gabbay & F. Guenthner - 1989 - Journal of Symbolic Logic 54 (3):1089-1090.
View all 10 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.
Step by Step – Building Representations in Algebraic Logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (1):225-279.
On the Axiomatizability of Some First-Order Spatio-Temporal Theories.Sándor Vályi - 2015 - Synthese 192 (7):1-17.
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.
Synchronized Linear-Time Temporal Logic.Heinrich Wansing & Norihiro Kamide - 2011 - Studia Logica 99 (1-3):365-388.
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.
The Undecidability of Second Order Linear Logic Without Exponentials.Yves Lafont - 1996 - Journal of Symbolic Logic 61 (2):541-548.
Naming Worlds in Modal and Temporal Logic.D. M. Gabbay & G. Malod - 2002 - Journal of Logic, Language and Information 11 (1):29-65.
Synchronization of Logics.Amílcar Sernadas, Cristina Sernadas & Carlos Caleiro - 1997 - Studia Logica 59 (2):217-247.
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
79 ( #146,391 of 2,504,596 )
Recent downloads (6 months)
1 ( #416,529 of 2,504,596 )
2009-01-28
Total views
79 ( #146,391 of 2,504,596 )
Recent downloads (6 months)
1 ( #416,529 of 2,504,596 )
How can I increase my downloads?
Downloads
