Journal of Logic, Language and Information 8 (2):143-166 (1999)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Giacomo Bonanno (2001). Branching Time, Perfect Information Games and Backward Induction. Games and Economic Behavior 36 (1):57-73.
Giacomo Bonanno (2007). Axiomatic Characterization of the AGM Theory of Belief Revision in a Temporal Logic. Artificial Intelligence 171 (2-3):144-160.
Michela Sabbadin & Alberto Zanardo (2003). Topological Aspects of Branching-Time Semantics. Studia Logica 75 (3):271 - 286.
Joeri Engelfriet & Jan Treur (2002). Linear, Branching Time and Joint Closure Semantics for Temporal Logic. Journal of Logic, Language and Information 11 (4):389-425.
Volker Weber (2009). Branching-Time Logics Repeatedly Referring to States. Journal of Logic, Language and Information 18 (4):593-624.
Alberto Zanardo (2006). Quantification Over Sets of Possible Worlds in Branching-Time Semantics. Studia Logica 82 (3):379 - 400.
Valentin Goranko (1996). Hierarchies of Modal and Temporal Logics with Reference Pointers. Journal of Logic, Language and Information 5 (1):1-24.
Alberto Zanardo (1996). Branching-Time Logic with Quantification Over Branches: The Point of View of Modal Logic. Journal of Symbolic Logic 61 (1):1-39.
Roberto Ciuni & Alberto Zanardo (2010). Completeness of a Branching-Time Logic with Possible Choices. Studia Logica 96 (3):393-420.
Alberto Zanardo (1998). Undivided and Indistinguishable Histories in Branching-Time Logics. Journal of Logic, Language and Information 7 (3):297-315.
Added to index2009-01-28
Total downloads16 ( #81,653 of 722,698 )
Recent downloads (6 months)1 ( #60,006 of 722,698 )
How can I increase my downloads?