Grätz, Lukas (2022)
Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics.
In: Journal of Logic and Computation, 32 (1)
doi: 10.1093/logcom/exab068
Article, Bibliographie
Abstract
Novel three-valued non-deterministic level semantics for modal logics T and S4 are presented. A criterion for partial level valuations is given, making it possible to create truth tables. Additionally, semantics and truth tables for 0 (defined as PC plus rule of necessitation) and 0T with only two values are based on Ivlev’s work. We need Kearns’ notion of level valuations: a generalization of Dugundji’s theorem shows that there is no non-deterministic semantics for modal logics up to S5, containing the rule of necessitation.
| Item Type: | Article |
|---|---|
| Erschienen: | 2022 |
| Creators: | Grätz, Lukas |
| Type of entry: | Bibliographie |
| Title: | Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics |
| Language: | English |
| Date: | January 2022 |
| Publisher: | Oxford University Press |
| Journal or Publication Title: | Journal of Logic and Computation |
| Volume of the journal: | 32 |
| Issue Number: | 1 |
| DOI: | 10.1093/logcom/exab068 |
| Abstract: | Novel three-valued non-deterministic level semantics for modal logics T and S4 are presented. A criterion for partial level valuations is given, making it possible to create truth tables. Additionally, semantics and truth tables for 0 (defined as PC plus rule of necessitation) and 0T with only two values are based on Ivlev’s work. We need Kearns’ notion of level valuations: a generalization of Dugundji’s theorem shows that there is no non-deterministic semantics for modal logics up to S5, containing the rule of necessitation. |
| Divisions: | 20 Department of Computer Science 20 Department of Computer Science > Software Engineering |
| Date Deposited: | 20 Jul 2022 07:24 |
| Last Modified: | 07 Dec 2022 10:00 |
| PPN: | 502340061 |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum