Effective Semantics for the Modal Logics K and KT via Non-deterministic Matrices
Authors: Ori Lahav and Yoni Zohar
Paper Information
| Title: | Effective Semantics for the Modal Logics K and KT via Non-deterministic Matrices |
| Authors: | Ori Lahav and Yoni Zohar |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | Modal Logic, NMatrices, Non-deterministic Semantics, Sequent Calculi |
| Pages: | 18 |
| Talk: | Aug 10 16:40 (Session 116C: Modalities and Decidability) |
| Paper: |  |