
The Library
Failure of interpolation in combined modal logics
Tools
Marx, Maarten and Areces, Carlos (1997) Failure of interpolation in combined modal logics. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-326.pdf - Other - Requires a PDF viewer. Download (414Kb) | Preview |
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 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: | Report | ||||
---|---|---|---|---|---|
Subjects: | B Philosophy. Psychology. Religion > BC Logic Q Science > QA Mathematics |
||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Library of Congress Subject Headings (LCSH): | Modality (Logic), Interpolation | ||||
Series Name: | Department of Computer Science research report | ||||
Publisher: | University of Warwick. Department of Computer Science | ||||
Official Date: | October 1997 | ||||
Dates: |
|
||||
Number: | Number 326 | ||||
Number of Pages: | 22 | ||||
DOI: | CS-RR-326 | ||||
Institution: | University of Warwick | ||||
Theses Department: | Department of Computer Science | ||||
Status: | Not Peer Reviewed | ||||
Publication Status: | Unpublished | ||||
Funder: | Engineering and Physical Sciences Research Council (EPSRC), British Council | ||||
Grant number: | GR/K54946 (EPSRC), ARG0100049 (BC) | ||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
![]() |
View Item |
Downloads
Downloads per month over past year