Studia Logica 61 (3):311-345 (1998)

Abstract
Continuing work initiated by Jónsson, Daigneault, Pigozzi and others; Maksimova proved that a normal modal logic (with a single unary modality) has the Craig interpolation property iff the corresponding class of algebras has the superamalgamation property (cf. [Mak 91], [Mak 79]). The aim of this paper is to extend the latter result to a large class of logics. We will prove that the characterization can be extended to all algebraizable logics containing Boolean fragment and having a certain kind of local deduction property. We also extend this characterization of the interpolation property to arbitrary logics under the condition that their algebraic counterparts are discriminator varieties. We also extend Maksimova's result to normal multi-modal logics with arbitrarily many, not necessarily unary modalities, and to not necessarily normal multi-modal logics with modalities of ranks smaller than 2, too.The problem of extending the above characterization result to no n-normal non-unary modal logics remains open.
Keywords algebraic logic  general theory of logics  algebraizable logics  Craig interpolation property  amalgamation property  superamalgamation property  modal logics  multimodal logics  Boolean algebras with operators  discriminator varieties
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1005064504044
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,231
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Order algebraizable logics.James G. Raftery - 2013 - Annals of Pure and Applied Logic 164 (3):251-283.
PDL has Interpolation.Tomasz Kowalski - 2002 - Journal of Symbolic Logic 67 (3):933-946.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
16 ( #668,455 of 2,518,240 )

Recent downloads (6 months)
1 ( #408,577 of 2,518,240 )

How can I increase my downloads?

Downloads

My notes