Repairing the interpolation theorem in quantified modal logic

Carlos Areces, Patrick Blackburn, Maarten Marx*

*Corresponding author

Publikation: Bidrag til tidsskriftTidsskriftartikelpeer review

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.
OriginalsprogEngelsk
TidsskriftAnnals of Pure and Applied Logic
Vol/bind124
Udgave nummer1-3
Sider (fra-til)287-299
Antal sider13
ISSN0168-0072
DOI
StatusUdgivet - 15 dec. 2003
Udgivet eksterntJa

Emneord

  • Beth definability
  • Bounded fragment
  • Interpolation
  • Quantified hybrid logic
  • Quantified modal logic

Citer dette