Eine Modallogik heißt eine ${\displaystyle {}K}$-Modallogik, wenn das Axiomenschema

${\displaystyle \vdash \Box (\alpha \rightarrow \beta )\rightarrow (\Box \alpha \rightarrow \Box \beta )}$

für beliebige Ausdrücke ${\displaystyle {}\alpha ,\beta }$ und die Ableitungsregel Nezessisierungsregel

aus ${\displaystyle {}\vdash \alpha }$ folgt ${\displaystyle {}\vdash \Box \alpha }$

für alle ${\displaystyle {}\alpha }$ gilt.