Hybrid Logic: Characterization, Interpolation and Complexity - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles The Journal of Symbolic Logic Year : 2001

Hybrid Logic: Characterization, Interpolation and Complexity

Carlos Areces
  • Function : Author
  • PersonId : 830513
Maarten Marx
  • Function : Author

Abstract

Hybrid languages are expansions of propositional modal languages which can refer to (or even quantify over) worlds. The use of strong hybrid languages dates back to the work of Arthur Prior in the 1960s, but recent work has focussed on a more constrained system in which variables can only be bound to the current state. We show in detail that the constrained system is modally natural. We begin by studying its expressivity, and provide model theoretic characterizations (via a restricted notion of Ehrenfeucht-Fraisse game, and an enriched notion of bisimulation) and a syntactic characterization (in terms of bounded formulas). The key result to emerge is that the constrained system corresponds to the fragment of first-order logic which is invariant for generated submodels. We then show that the system enjoys (strong) interpolation, provide counterexamples for its finite variable fragments, and show that weak interpolation holds for an important subsystem called H(@). Finally, we provide complexity results for H(@) and other fragments and variants, and sharpen known undecidability results for the full fragment

Dates and versions

inria-00100569 , version 1 (26-09-2006)

Identifiers

Cite

Carlos Areces, Patrick Blackburn, Maarten Marx. Hybrid Logic: Characterization, Interpolation and Complexity. The Journal of Symbolic Logic, 2001, 66 (3), pp.977-1010. ⟨10.2307/2695090⟩. ⟨inria-00100569⟩
46 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More