David Makinson and the Extension of Classical Logic (Q5250303)
From MaRDI portal
scientific article; zbMATH DE number 6437107
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | David Makinson and the Extension of Classical Logic |
scientific article; zbMATH DE number 6437107 |
Statements
David Makinson and the Extension of Classical Logic (English)
0 references
19 May 2015
0 references
David Makinson
0 references
classical logic
0 references
inferential-preferential method
0 references
nonmonotonic logic
0 references
belief revision
0 references
input/output logic
0 references
