The Procedures for Belief Revision (Q3600572)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Procedures for Belief Revision |
scientific article |
Statements
The Procedures for Belief Revision (English)
0 references
5 February 2009
0 references
consequence operations
0 references
dual consequence operations
0 references
elimination operations
0 references
contraction
0 references
revision
0 references
logic of truth
0 references
logic of falsehood
0 references
nonmonotonic reasoning
0 references
classical logic
0 references
Heyting-Brouwer logic
0 references
intuitionistic logic
0 references
0 references
