Two-dimensional awareness logics (Q704034)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Two-dimensional awareness logics |
scientific article; zbMATH DE number 2127008
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Two-dimensional awareness logics |
scientific article; zbMATH DE number 2127008 |
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
