Branching-time logic with quantification over branches: The point of view of modal logic

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)
DOI 10.2307/2275595
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 28,756
Through your library
References found in this work BETA
Branching Space-Time.Nuel Belnap - 1992 - Synthese 92 (3):385 - 434.
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.
Decidability for Branching Time.John P. Burgess - 1980 - Studia Logica 39 (2-3):203-218.

View all 7 references / Add more references

Citations of this work BETA
A Future for the Thin Red Line.Alex Malpass & Jacek Wawer - 2012 - Synthese 188 (1):117-142.
BH-CIFOL: Case-Intensional First Order Logic.Nuel Belnap & Thomas Müller - 2013 - Journal of Philosophical Logic (2-3):1-32.
The Truth About the Future.Jacek Wawer - 2014 - Erkenntnis 79 (3):365-401.
Combinations of Tense and Modality for Predicate Logic.Stefan Wölfl - 1999 - Journal of Philosophical Logic 28 (4):371-398.

View all 12 citations / Add more citations

Similar books and articles
Guarded Quantification in Least Fixed Point Logic.Gregory McColm - 2004 - Journal of Logic, Language and Information 13 (1):61-110.
Representing Counterparts.Andrew Bacon - 2014 - Australasian Journal of Logic 11 (2):90-113.
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.
Undivided and Indistinguishable Histories in Branching-Time Logics.Alberto Zanardo - 1998 - Journal of Logic, Language and Information 7 (3):297-315.

Monthly downloads

Added to index


Total downloads

19 ( #261,540 of 2,177,988 )

Recent downloads (6 months)

1 ( #317,698 of 2,177,988 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums