Graduate studies at Western
Studia Logica 93 (2/3):405 - 446 (2009)
|Abstract||A reactive graph generalizes the concept of a graph by making it dynamic, in the sense that the arrows coming out from a point depend on how we got there. This idea was first applied to Kripke semantics of modal logic in . In this paper we strengthen that unimodal language by adding a second operator. One operator corresponds to the dynamics relation and the other one relates paths with the same endpoint. We explore the expressivity of this interpretation by axiomatizing some natural subclasses of reactive frames. The main objective of this paper is to present a methodology to study reactive logics using the existent classic techniques|
|Keywords||reactive graphs reactive frames (bi)modal logic Kripke semantics|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Norihiro Kamide (2002). Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11 (4):453-470.
Marcus Kracht & Frank Wolter (1997). Simulation and Transfer Results in Modal Logic – a Survey. Studia Logica 59 (2):149-177.
Ágnes Kurucz (2000). On Axiomatising Products of Kripke Frames. Journal of Symbolic Logic 65 (2):923-945.
I. L. Humberstone (1990). Expressive Power and Semantic Completeness: Boolean Connectives in Modal Logic. Studia Logica 49 (2):197 - 214.
David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev (2005). Products of 'Transitive' Modal Logics. Journal of Symbolic Logic 70 (3):993-1021.
Nobu-Yuki Suzuki (1989). An Algebraic Approach to Intuitionistic Modal Logics in Connection with Intermediate Predicate Logics. Studia Logica 48 (2):141 - 155.
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.
D. M. Gabbay (2002). A Theory of Hypermodal Logics: Mode Shifting in Modal Logic. [REVIEW] Journal of Philosophical Logic 31 (3):211-243.
André Fuhrmann (1990). Models for Relevant Modal Logics. Studia Logica 49 (4):501 - 514.
Nobu -Yuki Suzuki (1990). Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics. Studia Logica 49 (3):289 - 306.
Added to index2009-11-23
Total downloads13 ( #95,562 of 734,153 )
Recent downloads (6 months)1 ( #61,087 of 734,153 )
How can I increase my downloads?