Modal logic with non-deterministic semantics: Part I—Propositional case (Q5082324)
From MaRDI portal
scientific article; zbMATH DE number 7542736
Language | Label | Description | Also known as |
---|---|---|---|
English | Modal logic with non-deterministic semantics: Part I—Propositional case |
scientific article; zbMATH DE number 7542736 |
Statements
Modal logic with non-deterministic semantics: Part I—Propositional case (English)
0 references
16 June 2022
0 references
propositional modal logic
0 references
non-deterministic semantics
0 references
finite matrices
0 references
recovery operators
0 references