Moment/History Duality in Prior’s Logics of Branching-Time

Synthese 150 (3):483-507 (2006)
  Copy   BIBTEX


The basic notions in Prior's Ockhamist and Peircean logics of branching-time are the notion of moment and that of history. In the tree semantics, histories are defined as maximal linearly ordered sets of moments. In the geometrical approach, both moments and histories are primitive entities and there is no set theoretical dependency of the latter on the former. In the topological approach, moments can be defined as the elements of a rank 1 base of a non-Archimedean topology on the set of histories. In this paper, it will be shown that the topological approach, and hence the other approaches, can be reconstructed in a framework in which the basic notions are those of history and of relative closeness relation among histories.



    Upload a copy of this work     Papers currently archived: 77,737

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-time logics repeatedly referring to states.Volker Weber - 2009 - Journal of Logic, Language and Information 18 (4):593-624.
Prediction in Branching Time Logic.Giacomo Bonanno - 2001 - Mathematical Logic Quarterly 47 (2):239-248.
Transition Semantics for Branching Time.Antje Rumberg - 2016 - Journal of Logic, Language and Information 25 (1):77-108.
Modal and temporal logics for abstract space–time structures.Sara L. Uckelman & Joel Uckelman - 2007 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 38 (3):673-681.
Fictional branching time?Craig Bourne & Emily Caddick Bourne - 2013 - In Andrea Iacona & Fabrice Correia (eds.), Around the Tree: Semantic and Metaphysical Issues Concerning Branching and the Open Future. Springer. pp. 81-94.


Added to PP

24 (#488,757)

6 months
1 (#482,368)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Past, Present and Future.Arthur Prior - 1967 - Oxford, England: Clarendon Press.
The unreal future.John P. Burgess - 1978 - Theoria 44 (3):157-179.
Decidability for branching time.John P. Burgess - 1980 - Studia Logica 39 (2-3):203-218.

View all 7 references / Add more references