HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

Repairing the interpolation theorem in Quantified Modal Logic

Carlos Areces 1 Patrick Blackburn 1 Maarten Marx
1 LANGUE ET DIALOGUE - Human-machine dialogue with a significant language component
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Quantified hybrid logic is quantified modal logic extended with apparatus for naming states and asserting that a formula is true at a named state. While interpolation and Beth's definability theorem fail in a number of well known quantified modal logics (for example in quantified modal K, T, D, S4, S4.3 and S5 with constant domains), their counterparts in quantified hybrid logic have these properties. These are special cases of the main result of the paper: the quantified hybrid logic of any class of frames definable in the bounded fragment of first-order logic has the interpolation property, irrespective of whether varying, constant, expanding, or contracting domains are assumed.
Document type :
Journal articles
Complete list of metadata

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 9:41:02 AM
Last modification on : Tuesday, May 3, 2022 - 3:48:10 PM

Links full text




Carlos Areces, Patrick Blackburn, Maarten Marx. Repairing the interpolation theorem in Quantified Modal Logic. Annals of Pure and Applied Logic, Elsevier Masson, 2003, 124 (1-2), pp.287-299. ⟨10.1016/S0168-0072(03)00059-9⟩. ⟨inria-00099762⟩



Record views