Quantification over Sets of Possible Worlds in Branching-Time Semantics

Studia Logica 82 (3):379-400 (2006)
  Copy   BIBTEX


Temporal logic is one of the many areas in which a possible world semantics is adopted. Prior's Ockhamist and Peircean semantics for branching-time, though, depart from the genuine Kripke semantics in that they involve a quantification over histories, which is a second-order quantification over sets of possible worlds. In the paper, variants of the original Prior's semantics will be considered and it will be shown that all of them can be viewed as first-order counterparts of the original semantics.



    Upload a copy of this work     Papers currently archived: 86,377

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Undivided and indistinguishable histories in branching-time logics.Alberto Zanardo - 1998 - Journal of Logic, Language and Information 7 (3):297-315.
Branching and Uncertainty.Simon Saunders & David Wallace - 2008 - British Journal for the Philosophy of Science 59 (3):293-305.
Studies in the Semantics of Modality.Charles Byron Cross - 1985 - Dissertation, University of Pittsburgh
Transition Semantics for Branching Time.Antje Rumberg - 2016 - Journal of Logic, Language and Information 25 (1):77-108.
Temporal necessity and the conditional.Charles B. Cross - 1990 - Studia Logica 49 (3):345-363.
Branching versus divergent possible worlds.Jiri Benovsky - 2005 - Kriterion - Journal of Philosophy 19 (1):12-20.


Added to PP

71 (#197,955)

6 months
2 (#520,889)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

B-Theory and Time Biases.Sayid Bnefsi - 2019 - In Patrick Blackburn, Per Hasle & Peter Øhrstrøm (eds.), Logic and Philosophy of Time: Further Themes from Prior. Aalborg, Denmark: Aalborg University Press. pp. 41-52.
Timeless Truth.Andrea Iacona - 2013 - In Fabrice Correia & Andrea Iacona (eds.), Around the Tree. Springer.

View all 7 citations / Add more citations