Graduate studies at Western
Journal of Philosophical Logic 31 (3):281-288 (2002)
|Abstract||In this note we show that the classical modal technology of Sahlqvist formulas gives quick proofs of the completeness theorems in  (D. Gregory, Completeness and decidability results for some propositional modal logics containing "actually" operators, Journal of Philosophical Logic 30(1): 57-78, 2001) and vastly generalizes them. Moreover, as a corollary, interpolation theorems for the logics considered in  are obtained. We then compare Gregory's modal language enriched with an "actually" operator with the work of Arthur Prior now known under the name of hybrid logic. This analysis relates the "actually" axioms to standard hybrid axioms, yields the decidability results in , and provides a number of complexity results. Finally, we use a bisimulation argument to show that the hybrid language is strictly more expressive than Gregory's language|
|Keywords||modal logic “actually” operators Sahlqvist theory Arthur Prior hybrid logic nominals|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Ming Xu (1998). Axioms for Deliberative Stit. Journal of Philosophical Logic 27 (5):505-552.
Takahiro Seki (2003). A Sahlqvist Theorem for Relevant Modal Logics. Studia Logica 73 (3):383 - 411.
George Goguadze, Carla Piazza & Yde Venema (2003). Simulating Polyadic Modal Logics by Monadic Ones. Journal of Symbolic Logic 68 (2):419-462.
Stéphane Demri & Dov Gabbay (2000). On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II. Studia Logica 66 (3):349-384.
Torben Braüner (2005). Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. Studia Logica 81 (2):191 - 226.
Carlos Areces, Patrick Blackburn & Maarten Marx (2001). Hybrid Logics: Characterization, Interpolation and Complexity. Journal of Symbolic Logic 66 (3):977-1010.
Maarten Marx, Szabolcs Mikul & István Németi (1995). Taming Logic. Journal of Logic, Language and Information 4 (3):207-226.
Balder Ten Cate (2005). Interpolation for Extended Modal Languages. Journal of Symbolic Logic 70 (1):223 - 234.
Renate A. Schmidt & Dmitry Tishkovsky (2008). On Combinations of Propositional Dynamic Logic and Doxastic Modal Logics. Journal of Logic, Language and Information 17 (1):109-129.
Dominic Gregory (2001). Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators. Journal of Philosophical Logic 30 (1):57-78.
Added to index2009-01-28
Total downloads9 ( #122,521 of 739,542 )
Recent downloads (6 months)2 ( #37,288 of 739,542 )
How can I increase my downloads?