PP-1999-03: Marx, Maarten and Areces, Carlos (1999) Failure of Interpolation in Combined Modal Logics. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
PP-1999-03.text.ps.gz Download (143kB) |
|
Text (Abstract)
PP-1999-03.abstract.txt Download (786B) |
Abstract
We investigate transfer of interpolation in such combinations of modal
logic which lead to interaction of the modalities. Combining logics
by taking products often blocks transfer of interpolation. The same
holds for combinations by taking unions, a generalization of
Humberstone's inaccessibility logic. Viewing first order logic as a
product of modal logics, we derive a strong counterexample for failure
of interpolation in the finite variable fragments of first order
logic. We provide a simple condition stated only in terms of frames
and bisimulations which implies failure of interpolation. Its use is
exemplified in a wide range of cases.
To appear in `Notre Dame Journal of Formal Logic'.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-1999-03 |
| Series Name: | Prepublication (PP) Series |
| Year: | 1999 |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/3 |
Actions (login required)
 |
View Item |
