EasyChair Smart Slide
Effective Semantics for the Modal Logics K and KT via Non-Deterministic Matrices
Effective Semantics for the Modal Logics K and KT via Non-Deterministic Matrices