Hybrid Logic: Characterization, Interpolation and Complexity - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue The Journal of Symbolic Logic Année : 2001

Hybrid Logic: Characterization, Interpolation and Complexity

Carlos Areces
  • Fonction : Auteur
  • PersonId : 830513
Maarten Marx
  • Fonction : Auteur

Résumé

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

Domaines

Autre [cs.OH]

Dates et versions

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

Identifiants

Citer

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⟩
54 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More