Intuitionistic Modal Logics as Fragments of Classical Bimodal Logics

@inproceedings{Zakharyaschev1998IntuitionisticML,
  title={Intuitionistic Modal Logics as Fragments of Classical Bimodal Logics},
  author={Michael Zakharyaschev},
  year={1998}
}
Godel's translation of intuitionistic formulas into modal ones provides the well-known embedding of intermediate logics into extensions of Lewis' system S4, which re ects and sometimes preserves such properties as decidability, Kripke completeness, the nite 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 nite model property of intuitionistic modal logics rst by proving… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 24 references

Modal and superintuitionistic log- ics

  • A. V. Chagrov, M. V. Zakharyaschev
  • 1996
Highly Influential
7 Excerpts

Metamathematics of modal logic

  • R. I. Goldblatt
  • Reports on Mathematical Logic,
  • 1976
Highly Influential
6 Excerpts

On the relation between intuitionistic and classical modal logics

  • F. Wolter, M. Zakharyaschev
  • 1995
3 Excerpts

Similar Papers

Loading similar papers…