Graduate studies at Western
Journal of Logic, Language and Information 7 (3):297-315 (1998)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Charles B. Cross (1990). Temporal Necessity and the Conditional. Studia Logica 49 (3):345-363.
Roberto Ciuni & Alberto Zanardo (2010). Completeness of a Branching-Time Logic with Possible Choices. Studia Logica 96 (3):393-420.
Michela Sabbadin & Alberto Zanardo (2003). Topological Aspects of Branching-Time Semantics. Studia Logica 75 (3):271 - 286.
Alberto Zanardo (2006). Quantification Over Sets of Possible Worlds in Branching-Time Semantics. Studia Logica 82 (3):379 - 400.
Mark Brown & Valentin Goranko (1999). An Extended Branching-Time Ockhamist Temporal Logic. Journal of Logic, Language and Information 8 (2):143-166.
Alberto Zanardo (1996). Branching-Time Logic with Quantification Over Branches: The Point of View of Modal Logic. Journal of Symbolic Logic 61 (1):1-39.
Volker Weber (2009). Branching-Time Logics Repeatedly Referring to States. Journal of Logic, Language and Information 18 (4):593-624.
Alastair Wilson (2012). Everettian Quantum Mechanics Without Branching Time. Synthese 188 (1):67-84.
Alberto Zanardo (2006). Moment/History Duality in Prior's Logics of Branching-Time. Synthese 150 (3):483 - 507.
Added to index2009-01-28
Total downloads6 ( #154,923 of 739,482 )
Recent downloads (6 months)1 ( #61,680 of 739,482 )
How can I increase my downloads?