In the tree-like representation of Time, two histories are undivided at a moment t whenever they share a common moment in the future of t. In the present paper, it will first be proved that Ockhamist and Peircean branching-time logics are unable to express some important sentences in which the notion of undividedness is involved. Then, a new semantics for branching-time logic will be presented. The new semantics is based on trees endowed with an indistinguishability function, a generalization of the notion of undividedness. It will be shown that Ockhamist and Peircean semantics can be viewed as limit cases of the semantics developed in this paper.
Keywords Temporal logic  branching-time  semantics
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1008259000544
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,355
Through your library

References found in this work BETA

Past, Present and Future.Arthur N. Prior - 1967 - Oxford, England: Clarendon Press.
Past, present and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
Branching Space-Time.Nuel Belnap - 1992 - Synthese 92 (3):385 - 434.
Logic and Time.John P. Burgess - 1979 - Journal of Symbolic Logic 44 (4):566-582.

View all 9 references / Add more references

Citations of this work BETA

The Truth About the Future.Jacek Wawer - 2014 - Erkenntnis 79 (S3):365-401.
Transition Semantics for Branching Time.Antje Rumberg - 2016 - Journal of Logic, Language and Information 25 (1):77-108.
Temporal Logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.

View all 9 citations / Add more citations

Similar books and articles


Added to PP index

Total views
48 ( #237,939 of 2,519,632 )

Recent downloads (6 months)
1 ( #406,756 of 2,519,632 )

How can I increase my downloads?


My notes