Studia Logica 101 (6):1215-1236 (2013)

This paper deals with structures ${\langle{\bf T}, I\rangle}$ in which T is a tree and I is a function assigning each moment a partition of the set of histories passing through it. The function I is called indistinguishability and generalizes the notion of undividedness. Belnap’s choices are particular indistinguishability functions. Structures ${\langle{\bf T}, I\rangle}$ provide a semantics for a language ${\mathcal{L}}$ with tense and modal operators. The first part of the paper investigates the set-theoretical properties of the set of indistinguishability classes, which has a tree structure. The significant relations between this tree and T are established within a general theory of trees. The aim of second part is testing the expressive power of the language ${\mathcal{L}}$ . The natural environment for this kind of investigations is Belnap’s seeing to it that (stit). It will be proved that the hybrid extension of ${\mathcal{L}}$ (with a simultaneity operator) is suitable for expressing stit concepts in a purely temporal language
Keywords Branching-time semantics  Indistinguishability  Hybrid logic  Stit
Categories (categorize this paper)
DOI 10.1007/s11225-013-9530-3
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: 71,290
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 N. Prior - 1967 - Oxford, England: Clarendon Press.
Past, present and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
Time and Modality in the Logic of Agency.Brian F. Chellas - 1992 - Studia Logica 51 (3-4):485 - 517.

View all 16 references / Add more references

Citations of this work BETA

Temporal Logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.
Nuel Belnap on Indeterminism and Free Action.Thomas Müller (ed.) - 2014 - Wien, Austria: Springer.
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer International Publishing. pp. 289-337.
Temporal Logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.

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.
Stit and the Language of Agency.Michael Perloff - 1991 - Synthese 86 (3):379 - 408.
Branching-Time Logics Repeatedly Referring to States.Volker Weber - 2009 - Journal of Logic, Language and Information 18 (4):593-624.
Combinations of Stit and Actions.Ming Xu - 2010 - Journal of Logic, Language and Information 19 (4):485-503.
A Dynamic Logic of Agency I: Stit, Capabilities and Powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.
Uncompactness of Stit Logics Containing Generalized Refref Conditionals.Ming Xu - 1998 - Notre Dame Journal of Formal Logic 39 (4):485-506.
An Extended Branching-Time Ockhamist Temporal Logic.Mark Brown & Valentin Goranko - 1999 - Journal of Logic, Language and Information 8 (2):143-166.
Axioms for Deliberative Stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.
Hybrid Logics of Separation Axioms.Dmitry Sustretov - 2009 - Journal of Logic, Language and Information 18 (4):541-558.


Added to PP index

Total views
17 ( #638,957 of 2,518,734 )

Recent downloads (6 months)
1 ( #408,070 of 2,518,734 )

How can I increase my downloads?


My notes