Effective semantics for the modal logics K and KT via non-deterministic matrices (Q2104537)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Effective semantics for the modal logics K and KT via non-deterministic matrices |
scientific article; zbMATH DE number 7628204
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Effective semantics for the modal logics K and KT via non-deterministic matrices |
scientific article; zbMATH DE number 7628204 |
Statements
Effective semantics for the modal logics K and KT via non-deterministic matrices (English)
0 references
7 December 2022
0 references
0 references
0.8815891
0 references
0.87650734
0 references
0.87632084
0 references
0.87561256
0 references
0.87252784
0 references
0.87138534
0 references
0.87009543
0 references