Effective Semantics for the Modal Logics K and KT via Non-deterministic Matrices.

Ori Lahav, Yoni Zohar

Browse the full CADE paper archive.