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 Philosophy   Computational Linguistics   Mathematical Logic and Foundations   Logic
Categories (categorize this paper)
DOI 10.1007/s11225-010-9291-1
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: 59,759
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

Past, Present and Future.Arthur Prior - 1967 - Clarendon Press.
Agency and Deontic Logic.John F. Horty - 2001 - Oxford University Press.
Past, present and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.

View all 15 references / Add more references

Citations of this work BETA

Temporal Alethic–Deontic Logic and Semantic Tableaux.Daniel Rönnedal - 2012 - Journal of Applied Logic 10 (3):219-237.
Temporal Logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.

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.
An Extended Branching-Time Ockhamist Temporal Logic.Mark Brown & Valentin Goranko - 1999 - Journal of Logic, Language and Information 8 (2):143-166.
A Complete Deductive-System for Since-Until Branching-Time Logic.Alberto Zanardo - 1991 - Journal of Philosophical Logic 20 (2):131 - 148.
A Note About the Axioms for Branching-Time Logic.Alberto Zanardo - 1992 - Notre Dame Journal of Formal Logic 33 (2):225-228.
The Way of the Agent.Nuel Belnap & Michael Perloff - 1992 - Studia Logica 51 (3-4):463 - 484.
Prediction in Branching Time Logic.Giacomo Bonanno - 2001 - Mathematical Logic Quarterly 47 (2):239-248.
Some Considerations on Branching Areas of Time.ElŻbieta Hajnicz - 1999 - Journal of Logic, Language and Information 8 (1):17-43.
Travelling in Branching Time.Manolo Martínez - 2011 - Disputatio 4 (31):59-75.

Analytics

Added to PP index
2010-12-08

Total views
78 ( #132,505 of 2,432,632 )

Recent downloads (6 months)
1 ( #465,136 of 2,432,632 )

How can I increase my downloads?

Downloads

My notes