Journal of Symbolic Logic 61 (1):1-39 (1996)
In Ockhamist branching-time logic [Prior 67], formulas are meant to be evaluated on a specified branch, or history, passing through the moment at hand. The linguistic counterpart of the manifoldness of future is a possibility operator which is read as `at some branch, or history (passing through the moment at hand)'. Both the bundled-trees semantics [Burgess 79] and the $\langle moment, history\rangle$ semantics [Thomason 84] for the possibility operator involve a quantification over sets of moments. The Ockhamist frames are (3-modal) Kripke structures in which this second-order quantification is represented by a first-order quantification. The aim of the present paper is to investigate the notions of modal definability, validity, and axiomatizability concerning 3-modal frames which can be viewed as generalizations of Ockhamist frames
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Time and Modality in the Logic of Agency.Brian F. Chellas - 1992 - Studia Logica 51 (3-4):485 - 517.
A Finite Axiomatization of the Set of Strongly Valid Ockhamist Formulas.Alberto Zanardo - 1985 - Journal of Philosophical Logic 14 (4):447 - 468.
Axiomatization of 'Peircean' Branching-Time Logic.Alberto Zanardo - 1990 - Studia Logica 49 (2):183 - 195.
Citations of this work BETA
BH-CIFOL: Case-Intensional First Order Logic.Nuel Belnap & Thomas Müller - 2013 - Journal of Philosophical Logic (2-3):1-32.
Decidability of Logics Based on an Indeterministic Metric Tense Logic.Yan Zhang & Kai Li - 2015 - Studia Logica 103 (6):1123-1162.
Combinations of Tense and Modality for Predicate Logic.Stefan Wölfl - 1999 - Journal of Philosophical Logic 28 (4):371-398.
Similar books and articles
Guarded Quantification in Least Fixed Point Logic.Gregory McColm - 2004 - Journal of Logic, Language and Information 13 (1):61-110.
Moment/History Duality in Prior's Logics of Branching-Time.Alberto Zanardo - 2006 - Synthese 150 (3):483 - 507.
Topological Aspects of Branching-Time Semantics.Michela Sabbadin & Alberto Zanardo - 2003 - Studia Logica 75 (3):271 - 286.
The Decision Problem for Branching Time Logic.Yuri Gurevich & Saharon Shelah - 1985 - Journal of Symbolic Logic 50 (3):668-681.
An Extended Branching-Time Ockhamist Temporal Logic.Mark Brown & Valentin Goranko - 1999 - Journal of Logic, Language and Information 8 (2):143-166.
Modal Logic From Kant to Possible Worlds Semantics.Tapio Korte, Ari Maunu & Tuomo Aho - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
Undivided and Indistinguishable Histories in Branching-Time Logics.Alberto Zanardo - 1998 - Journal of Logic, Language and Information 7 (3):297-315.
Added to index2009-01-28
Total downloads19 ( #261,540 of 2,177,988 )
Recent downloads (6 months)1 ( #317,698 of 2,177,988 )
How can I increase my downloads?