Undivided and indistinguishable histories in branching-time logics

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)
Reprint years 2004
DOI 10.1023/A:1008259000544
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,749
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
The Truth About the Future.Jacek Wawer - 2014 - Erkenntnis 79 (S3):365-401.
Transition Semantics for Branching Time.Antje Rumberg - 2016 - Journal of Logic, Language and Information 25 (1):77-108.

Add more citations

Similar books and articles
Added to PP index
2009-01-28

Total downloads
40 ( #133,929 of 2,197,362 )

Recent downloads (6 months)
1 ( #298,877 of 2,197,362 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature