Local is Best: Efficient Reductions to Modal Logic K

We present novel reductions of extensions of the basic modal logic K with axioms B , D , T , 4 and 5 to Separated Normal Form with Sets of Modal Levels SNF sml . The reductions typically result in smaller formulae than the reductions by Kracht. The reductions to SNF sml combined with a reduction to...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of automated reasoning 2022-11, Vol.66 (4), p.639-666
Hauptverfasser:	Papacchini, Fabio, Nalon, Cláudia, Hustadt, Ullrich, Dixon, Clare
Format:	Artikel
Sprache:	eng
Schlagworte:	Artificial Intelligence Axioms Calculus Canonical forms Computer Science Logic Mathematical Logic and Formal Languages Mathematical Logic and Foundations Semantics Symbolic and Algebraic Manipulation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!