PP-1999-03: Failure of Interpolation in Combined Modal Logics

PP-1999-03: Marx, Maarten and Areces, Carlos (1999) Failure of Interpolation in Combined Modal Logics. [Report]

[thumbnail of Full Text] Text (Full Text)

Download (143kB)
[thumbnail of Abstract] Text (Abstract)

Download (786B)


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 View Item