Intuitionistic Modal Logics as fragments of Classical Bimodal Logics

Authors: 
Wolter, Frank
Zakharyaschev, Michael
Year: 
1998
Language: 
English
Abstract: 
Gödel's translation of intuitionistic formulas into modal ones provides the well-known embedding of intermediate logics into extensions of Lewis' system S4, which reflects and sometimes preserves such properties as decidability, Kripke completeness, the finite model property. In this paper we establish a similar relationship between intuitionistic modal logics and classical bimodal logics. We also obtain some general results on the finite model property of intuitionistic modal logics first by proving them for bimodal logics and then using the preservation theorem.
Appeared / Erschienen in: 
to appear in: Ewa Orlowska (eds), Logic at Work.
Pubdate / Erscheinungsdatum: 
1998
Pages / Seitenanzahl: 
17
AttachmentSize
1998-22.pdf202.74 KB