PP-2001-19: Areces, C. and Blackburn, P. and Marx, M. (2001) Repairing the Interpolation Theorem in Quantified Modal Logic. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
PP-2001-19.text.ps.gz Download (75kB) |
|
Text (Abstract)
PP-2001-19.abstract.txt Download (908B) |
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.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2001-19 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2001 |
| Uncontrolled Keywords: | quantified modal logic, quantified hybrid logic, interpolation, Beth definability, bounded fragment |
| Subjects: | Logic |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/61 |
Actions (login required)
 |
View Item |
