Journal of Logic, Language and Information 18 (4):559-591 (2009)
|Abstract||The hybrid logic and the independence friendly modal logic IFML are compared for their expressive powers. We introduce a logic IFML c having a non-standard syntax and a compositional semantics; in terms of this logic a syntactic fragment of IFML is singled out, denoted IFML c . (In the Appendix it is shown that the game-theoretic semantics of IFML c coincides with the compositional semantics of IFML c .) The hybrid logic is proven to be strictly more expressive than IFML c . By contrast, and the full IFML are shown to be incomparable for their expressive powers. Building on earlier research (Tulenheimo and Sevenster 2006), a PSPACE -decidable fragment of the undecidable logic is disclosed. This fragment is not translatable into the hybrid logic and has not been studied previously in connection with hybrid logics. In the Appendix IFML c is shown to lack the property of ‘quasi-positionality’ but proven to enjoy the weaker property of ‘ bounded quasi-positionality’. The latter fact provides from the IFML internal perspective an account of what makes the compositional semantics of IFML c possible.|
|Keywords||Compositionality Decidability Expressive power Game-theoretic semantics Hybrid logic Independence friendly logic Modal logic|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Balder Ten Cate (2005). Interpolation for Extended Modal Languages. Journal of Symbolic Logic 70 (1):223 - 234.
Torben Braüner (2002). Modal Logic, Truth, and the Master Modality. Journal of Philosophical Logic 31 (4):359-386.
Torben Braüner (2005). Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. Studia Logica 81 (2):191 - 226.
Patrick Blackburn & Maarten Marx (2003). Constructive Interpolation in Hybrid Logic. Journal of Symbolic Logic 68 (2):463-480.
H. Kushida & M. Okada (2007). A Proof–Theoretic Study of the Correspondence of Hybrid Logic and Classical Logic. Journal of Logic, Language and Information 16 (1):35-61.
Patrick Blackburn & Jerry Seligman (1995). Hybrid Languages. Journal of Logic, Language and Information 4 (3):251-272.
Carlos Viegas Damásio & Luís Moniz Pereira (2002). Hybrid Probabilistic Logic Programs as Residuated Logic Programs. Studia Logica 72 (1):113 - 138.
Kooi, Barteld, Renardel de Lavalette, Gerard & Verbrugge, Rineke, Hybrid Logics with Infinitary Proof Systems.
Rineke Verbrugge, Gerard Renardel de Lavalette & Barteld Kooi, Hybrid Logics with Infinitary Proof Systems.
Oliver Kutz (2007). Notes on Logics of Metric Spaces. Studia Logica 85 (1):75 - 104.
Added to index2009-05-02
Total downloads14 ( #90,504 of 722,839 )
Recent downloads (6 months)0
How can I increase my downloads?