Two-dimensional awareness logics (Q704034): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 02:02, 5 March 2024
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
