The following pages link to Effective semantics for the modal logics K and KT via non-deterministic matrices (Q2104537):
Displaying 2 items.