Olivier Gasquet and Andreas Herzig
From Classical to Normal Logics
Abstract:
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
Get PDF
Bibtex-entry:
@InCollection{GaHe-PTML96,
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"
}
https://www.irit.fr/~Andreas.Herzig