Journal of Logic, Language and Information 11 (1):29-65 (2002)
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x, y)which states that two time points are at the same distance from the root. We provide the systems studied with complete axiomatizations and illustrate the expressive power gained for modal logic by simulating other logics. The completeness proofs rely on the fairly intuitive notion of a configuration in order to use a proof technique similar to a Henkin completion mixed with a tableau construction. The main elements of the completeness proofs are given for each case, while purely technical results are grouped in the appendix.
|Keywords||hybrid logic modal logic nominals predicate logic temporal logic|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Temporal Reference in Linear Tense Logic.M. J. Cresswell - 2010 - Journal of Philosophical Logic 39 (2):173-200.
Truth-Values as Labels: A General Recipe for Labelled Deduction.Cristina Sernadas, Luca Viganò, João Rasga & Amílcar Sernadas - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):277-315.
Similar books and articles
Products of Modal Logics. Part 3: Products of Modal and Temporal Logics.Dov Gabbay & Valentin Shehtman - 2002 - Studia Logica 72 (2):157-183.
Syntactical Results on the Arithmetical Completeness of Modal Logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.
Labelled Resolution for Classical and Non-Classical Logics.D. M. Gabbay & U. Reyle - 1997 - Studia Logica 59 (2):179-216.
Necessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions.V. Halbach & P. Welch - 2009 - Mind 118 (469):71-100.
Cut-Free Sequent and Tableau Systems for Propositional Diodorean Modal Logics.Rajeev Goré - 1994 - Studia Logica 53 (3):433 - 457.
Finite Kripke Models and Predicate Logics of Provability.Sergei Artemov & Giorgie Dzhaparidze - 1990 - Journal of Symbolic Logic 55 (3):1090-1098.
Added to index2009-01-28
Total downloads34 ( #144,693 of 2,143,567 )
Recent downloads (6 months)9 ( #82,094 of 2,143,567 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.