Completeness of a Branching-Time Logic with Possible Choices

&
Studia Logica 96 (3):393-420 (2010)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1007/s11225-010-9291-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Axiomatization of 'peircean' branching-time logic.Alberto Zanardo - 1990 - Studia Logica 49 (2):183 - 195.
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.
Does branching explain flow of time or the other way around?Petr Švarný - 2015 - Synthese 192 (7):2273-2292.
(In)determinism, Branching Time, and Branching Space.Alexander Hughes - manuscript
A complete deductive-system for since-until branching-time logic.Alberto Zanardo - 1991 - Journal of Philosophical Logic 20 (2):131 - 148.
Axiomatization of a Branching Time Logic with Indistinguishability Relations.Alberto Gatto - 2016 - Journal of Philosophical Logic 45 (2):155-182.
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.
Everettian quantum mechanics without branching time.Alastair Wilson - 2012 - Synthese 188 (1):67-84.
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.
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.
The taming of recurrences in computability logic through cirquent calculus, Part I.Giorgi Japaridze - 2013 - Archive for Mathematical Logic 52 (1-2):173-212.

Analytics

Added to PP
2010-12-08

Downloads
91 (#184,378)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.
Temporal alethic–deontic logic and semantic tableaux.Daniel Rönnedal - 2012 - Journal of Applied Logic 10 (3):219-237.

View all 10 citations / Add more citations

References found in this work

Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
Past, Present and Future.Arthur N. Prior - 1967 - Oxford, GB: Oxford University Press.
Facing the future: agents and choices in our indeterminist world.Nuel D. Belnap - 2001 - New York: Oxford University Press. Edited by Michael Perloff & Ming Xu.
Past, present, and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
Agency and deontic logic.John Horty - 2001 - New York: Oxford University Press.

View all 17 references / Add more references