SOME COMPLETENESS THEOREMS IN THE DYNAMIC DOXASTIC LOGIC OF ITERATED BELIEF REVISION (Q3577742)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | SOME COMPLETENESS THEOREMS IN THE DYNAMIC DOXASTIC LOGIC OF ITERATED BELIEF REVISION |
scientific article |
Statements
SOME COMPLETENESS THEOREMS IN THE DYNAMIC DOXASTIC LOGIC OF ITERATED BELIEF REVISION (English)
0 references
23 July 2010
0 references
epistemic logic
0 references
dynamic logic
0 references
doxastic logic
0 references
belief revision
0 references