Failure of interpolation in combined modal logics
Marx, M. and Areces, C. (1997) Failure of interpolation in combined modal logics. Technical Report. Department of Computer Science, Coventry, UK.
- Published Version
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 generalisation 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. It's use is exemplified in a wide range of cases.
|Item Type:||Monograph (Technical Report)|
|Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science|
|Divisions:||Faculty of Science > Computer Science|
|Depositing User:||Mr Ebrahim Ardeshir|
|Date Deposited:||05 Jan 2012 09:13|
|Last Modified:||01 Nov 2012 18:06|
Actions (login required)