Journal of Logic, Language and Information 8 (2):143-166 (1999)
For branching-time temporal logic based on an Ockhamist semantics, we explore a temporal language extended with two additional syntactic tools. For reference to the set of all possible futures at a moment of time we use syntactically designated restricted variables called fan-names. For reference to all possible futures alternative to the actual one we use a modification of a difference modality, localized to the set of all possible futures at the actual moment of time.We construct an axiomatic system for this extended branching-time logic and prove its soundness and completeness with respect to bundle tree semantics. Finally, we show how our axiomatic system can be extended with a variety of important additional operators, such as Since and Until, a global difference operator, operators for undivided and divided histories, reference pointers, etc.
|Keywords||Temporal logic branching-time Ockhamist bundle tree semantics fan-names local difference operator axiomatic system completeness|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Branching Time, Perfect Information Games and Backward Induction.Giacomo Bonanno - 2001 - Games and Economic Behavior 36 (1):57-73.
Axiomatic Characterization of the AGM Theory of Belief Revision in a Temporal Logic.Giacomo Bonanno - 2007 - Artificial Intelligence 171 (2-3):144-160.
Topological Aspects of Branching-Time Semantics.Michela Sabbadin & Alberto Zanardo - 2003 - Studia Logica 75 (3):271 - 286.
Linear, Branching Time and Joint Closure Semantics for Temporal Logic.Joeri Engelfriet & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (4):389-425.
Branching-Time Logics Repeatedly Referring to States.Volker Weber - 2009 - Journal of Logic, Language and Information 18 (4):593-624.
Hierarchies of Modal and Temporal Logics with Reference Pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
Branching-Time Logic with Quantification Over Branches: The Point of View of Modal Logic.Alberto Zanardo - 1996 - Journal of Symbolic Logic 61 (1):1-39.
Undivided and Indistinguishable Histories in Branching-Time Logics.Alberto Zanardo - 1998 - Journal of Logic, Language and Information 7 (3):297-315.
Added to index2009-01-28
Total downloads42 ( #120,226 of 2,152,238 )
Recent downloads (6 months)1 ( #399,478 of 2,152,238 )
How can I increase my downloads?