Olivier Gasquet and Andreas Herzig

From Classical to Normal Logics

Classical modal logics generally neither possess the necessitation rule nor the K-axiom. Their semantics being in terms of minimal models, several specialisations of these have been given such as augmented minimal models, models with queer worlds or models with inaccessible worlds. In this paper we exhibit exact translations from these families into normal multi-modal logics. Such translations allow to reuse the proof systems that have been developed for the latter.

Get Postscript


  author = 	 "Gasquet, Olivier  and Herzig, Andreas",
  title = 	 "From Classical to Normal Modal Logics",
  booktitle = 	 "Proof Theory of Modal Logics",
  publisher = 	 "Kluwer Academic Publishers",
  year = 	 "1996",
  editor = 	 "Wansing, Heinrich",
  series = 	 "Applied Logic Series",
  number =	 "2",
  pages = 	 "293--311"