Two-dimensional awareness logics (Q704034)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Two-dimensional awareness logics |
scientific article |
Statements
Two-dimensional awareness logics (English)
0 references
12 January 2005
0 references
The authors suggest to blend awareness logic and two-dimensional logic to model actual belief. Two-dimensional logic is a four-valued logic which goes back to Bergmann's discussion on presupposition. Three different logics to model awareness and actual belief are presented. The soundness and completeness theorems for two of them are proved. There are some other suggestions to model awareness and belief.
0 references
belief
0 references
awareness
0 references
two-dimensional logics
0 references
