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

Abstract
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.
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
DOI 10.1007/s11225-006-8104-z
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,512
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
Past, Present and Future.Arthur N. Prior - 1967 - Oxford, England: Clarendon Press.
Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.

View all 24 references / Add more references

Citations of this work BETA

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

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.
Branching From Inertia Worlds.T. Fernando - 2008 - Journal of Semantics 25 (3):321-344.
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.

Analytics

Added to PP index
2009-01-28

Total views
69 ( #168,354 of 2,520,900 )

Recent downloads (6 months)
1 ( #405,457 of 2,520,900 )

How can I increase my downloads?

Downloads

My notes