Modallogik/K/Ableitung/Definition/Begriff/Inhalt

Man sagt, dass ein modallogischer Ausdruck ${}\alpha$ aus dem ${}K$-System ableitbar ist, wenn sich ${}\alpha$ aus aussagenlogischen Tautologien und aus Instanzen des ${}K$-Axioms mit Hilfe des Modus ponens oder der Nezessisierungsregel ergibt.