Completeness of a branching-time logic with possible choices
Studia Logica 96 (3):393-420 (2010)
| Abstract | In this paper we present BTC, which is a complete logic for branchingtime whose modal operator quantifies over histories and whose temporal operators involve a restricted quantification over histories in a given possible choice. This is a technical novelty, since the operators of the usual logics for branching-time such as CTL express an unrestricted quantification over histories and moments. The value of the apparatus we introduce is connected to those logics of agency that are interpreted on branching-time, as for instance Stit Logics | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAlberto Zanardo (1998). Undivided and Indistinguishable Histories in Branching-Time Logics. Journal of Logic, Language and Information 7 (3):297-315.
Mark Brown & Valentin Goranko (1999). An Extended Branching-Time Ockhamist Temporal Logic. Journal of Logic, Language and Information 8 (2):143-166.
Alberto Zanardo (2006). Quantification Over Sets of Possible Worlds in Branching-Time Semantics. Studia Logica 82 (3):379 - 400.
Volker Weber (2009). Branching-Time Logics Repeatedly Referring to States. Journal of Logic, Language and Information 18 (4).
Alberto Zanardo (2006). Moment/History Duality in Prior's Logics of Branching-Time. Synthese 150 (3):483 - 507.
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.
Ron van der Meyden & Ka-shu Wong (2003). Complete Axiomatizations for Reasoning About Knowledge and Branching Time. Studia Logica 75 (1):93 - 123.
Alberto Zanardo (1990). Axiomatization of 'Peircean' Branching-Time Logic. Studia Logica 49 (2):183 - 195.
Alastair Wilson (2012). Everettian Quantum Mechanics Without Branching Time. Synthese 188 (1):67-84.
Franz Kutschervona (1997). T Ã W Completeness. Journal of Philosophical Logic 26 (3):241-250.
Franz von Kutschera (1997). T × W Completeness. Journal of Philosophical Logic 26 (3):241 - 250.
Stefano Aguzzoli, Matteo Bianchi & Vincenzo Marra (2009). A Temporal Semantics for Basic Logic. Studia Logica 92 (2):147 - 162.
Matt Farr (2012). On A- and B-Theoretic Elements of Branching Spacetimes. Synthese 188 (1):85-116.
Manolo Martínez (2011). Travelling in Branching Time. Disputatio 4 (31):59-75.
Analytics
Monthly downloads |
Added to index2010-12-08Total downloads27 ( #45,781 of 549,087 )Recent downloads (6 months)3 ( #25,722 of 549,087 )How can I increase my downloads? |
My notes
Discussion
