Intuitionistic Modal Logic

@inproceedings{Wolter1997IntuitionisticML,
  title={Intuitionistic Modal Logic},
  author={Frank Wolter and Michael Zakharyaschev},
  year={1997}
}
0 Intuitionistic modal logics originate from di erent sources and have di erent areas of application. They include philosophy (see e.g. Prior [1957], Ewald [1986], Williamson [1992]), the foundations of mathematics (Kuznetsov [1985], Kuznetsov and Muravitskij [1986]), and computer science (Plotkin and Stirling [1986], Stirling [1987], Wijesekera [1990]). Modalities are added to intuitionistic logic in the framework of studying \new intuitionistic connectives" (Bessonov [1977], Gabbay [1977… CONTINUE READING