Talkin'bout consistency, or: When logically possible becomes possible (Q4632294)
From MaRDI portal
scientific article; zbMATH DE number 7048466
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Talkin'bout consistency, or: When logically possible becomes possible |
scientific article; zbMATH DE number 7048466 |
Statements
Talkin'bout consistency, or: When logically possible becomes possible (English)
0 references
29 April 2019
0 references
nonmonotonic reasoning
0 references
nonmonotonic logic
0 references
nonmonotonic extension of modal logic S5
0 references
modal depth
0 references
conjunctive normal form
0 references
possible worlds semantics
0 references
