Skip to main content
Article thumbnail
Location of Repository

Intuitionistic modal logics as fragments of classical bimodal logics

By Frank Wolter and Michael Zakharyaschev


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

Publisher: Kluwer Academic Publishers
Year: 1998
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • http://lips.informatik.uni-lei... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.