@inproceedings{e5c68c859d6947e29620ae85c1a68a21,
title = "Effective Semantics for the Modal Logics K and KT via Non-deterministic Matrices",
abstract = "A four-valued semantics for the modal logic K is introduced. Possible worlds are replaced by a hierarchy of four-valued valuations, where the valuations of the first level correspond to valuations that are legal w.r.t. a basic non-deterministic matrix, and each level further restricts its set of valuations. The semantics is proven to be effective, and to precisely capture derivations in a sequent calculus for K of a certain form. Similar results are then obtained for the modal logic KT, by simply deleting one of the truth values.",
author = "Ori Lahav and Yoni Zohar",
note = "Publisher Copyright: {\textcopyright} 2022, The Author(s).; 11th International Joint Conference on Automated Reasoning, IJCAR 2022, part of the Federated Logic Conference, FLoC 2022 ; Conference date: 08-08-2022 Through 10-08-2022",
year = "2022",
doi = "10.1007/978-3-031-10769-6_28",
language = "الإنجليزيّة",
isbn = "9783031107689",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "468--485",
editor = "Jasmin Blanchette and Laura Kov{\'a}cs and Dirk Pattinson",
booktitle = "Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings",
address = "ألمانيا",
}