K (logic)

1. redirect Normal modal logic#K

{{rcatsh|

{{r to list entry}}

}}