Fusions of Modal Logics revisited

Authors: 
Wolter, Frank
Year: 
1997
Language: 
English
Abstract: 
The fusion Ll ? Lr of two normal modal logics formulated in languages with disjoint sets of modal operators is the smallest normal modal logic containing Ll [ Lr. This paper proves that decidability, interpolation, uniform interpolation, and Halld?encompleteness are preserved under forming fusions of normal polyadic polymodal logics. Those problems remained open in [Fine & Schurz [3]] and [Kracht & Wolter [10]]. The paper defines the fusion `l ? `r of two classical modal consequence relations and proves that decidability transfers also in this case. Finally, these results are used to prove a general decidability result for modal logics based on superintuitionistic logics.
Appeared / Erschienen in: 
Advances in Modal Logic, Volume 1, Herausgeber: M. Kracht, M. deRijke, H. Wansing, M.Zakharyaschev, CSLI Lecture Notes 87, Stanfort, 1997
Pubdate / Erscheinungsdatum: 
1997
Pages / Seitenanzahl: 
19
AttachmentSize
1997-40.pdf245.19 KB