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.
| Original language | English |
|---|---|
| Title of host publication | Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings |
| Editors | Jasmin Blanchette, Laura Kovács, Dirk Pattinson |
| Publisher | Springer Science and Business Media Deutschland GmbH |
| Pages | 468-485 |
| Number of pages | 18 |
| ISBN (Print) | 9783031107689 |
| DOIs | |
| State | Published - 2022 |
| Event | 11th International Joint Conference on Automated Reasoning, IJCAR 2022, part of the Federated Logic Conference, FLoC 2022 - Haifa, Israel Duration: 8 Aug 2022 → 10 Aug 2022 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 13385 LNAI |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 11th International Joint Conference on Automated Reasoning, IJCAR 2022, part of the Federated Logic Conference, FLoC 2022 |
|---|---|
| Country/Territory | Israel |
| City | Haifa |
| Period | 8/08/22 → 10/08/22 |
Bibliographical note
Publisher Copyright:© 2022, The Author(s).