Modallogik/K/Ableitung/Definition

Ableitbar (Modallogik)

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. Dafür schreibt man

$\vdash \alpha .$