Two-dimensional awareness logics (Q704034)

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.