Modal logic based theory for non-monotonic reasoning (Q4275697)
From MaRDI portal
scientific article; zbMATH DE number 487154
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modal logic based theory for non-monotonic reasoning |
scientific article; zbMATH DE number 487154 |
Statements
Modal logic based theory for non-monotonic reasoning (English)
0 references
5 June 1994
0 references
nonmonotonic logic
0 references
modal logic
0 references
hypothesis theory
0 references
Reiter default logic
0 references
necessity operator
0 references
weak possibility operator
0 references
