Hybrid languages
Journal of Logic, Language and Information 4 (3):251-272 (1995)
| Abstract | Hybrid languages have both modal and first-order characteristics: a Kripke semantics, and explicit variable binding apparatus. This paper motivates the development of hybrid languages, sketches their history, and examines the expressive power of three hybrid binders. We show that all three binders give rise to languages strictly weaker than the corresponding first-order language, that full first-order expressivity can be gained by adding the universal modality, and that all three binders can force the existence of infinite models and have undecidable satisfiability problems. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,865 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFabrice Correia (2007). Modality, Quantification, and Many Vlach-Operators. Journal of Philosophical Logic 36 (4):473 - 488.
Torben BraÜner (2005). Natural Deduction for First-Order Hybrid Logic. Journal of Logic, Language and Information 14 (2).
Tero Tulenheimo (2009). Hybrid Logic Meets If Modal Logic. Journal of Logic, Language and Information 18 (4).
Patrick Blackburn & Maarten Marx (2003). Constructive Interpolation in Hybrid Logic. Journal of Symbolic Logic 68 (2):463-480.
Carlos Areces, Patrick Blackburn & Maarten Marx (2001). Hybrid Logics: Characterization, Interpolation and Complexity. Journal of Symbolic Logic 66 (3):977-1010.
Oliver Kutz (2007). Notes on Logics of Metric Spaces. Studia Logica 85 (1):75 - 104.
Martin Mundhenk & Thomas Schneider (2009). The Complexity of Hybrid Logics Over Equivalence Relations. Journal of Logic, Language and Information 18 (4).
P. Blackburn & B. ten Cate (2006). Pure Extensions, Proof Rules, and Hybrid Axiomatics. Studia Logica 84 (2):277 - 322.
Martin Lange (2009). Model Checking for Hybrid Logic. Journal of Logic, Language and Information 18 (4).
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #180,404 of 556,803 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
