Two-dimensional awareness logics

DOI10.1023/B:LOGI.0000046141.49831.24MaRDI QIDQ704034zbMATH OpenFDO

Authors Hu Liu, Shier Ju

Publication date 12 January 2005

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/B:LOGI.0000046141.49831.24

zbMATH Keywords

awarenessbelieftwo-dimensional logics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 757646
• A logic for reasoning about knowledge of unawareness
• Semantics for knowledge and change of awareness
• Belief, awareness, and limited reasoning
• Models of awareness

Cites work

• A general possible worlds framework for reasoning about knowledge and belief
• A treatise on many-valued logics
• Belief, awareness, and limited reasoning
• scientific article; zbMATH DE number 125989 (Why is no real title available?)
• scientific article; zbMATH DE number 1163572 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• scientific article; zbMATH DE number 1443830 (Why is no real title available?)
• Quantified modal logic: non-normal worlds and propositional attitudes

Cited in

(6)

• An axiomatisation for minimal social epistemic logic
• Grounding awareness on belief bases
• Semantics for knowledge and change of awareness
• scientific article; zbMATH DE number 757646 (Why is no real title available?)
• QUESTIONS IN TWO-DIMENSIONAL LOGIC
• The KK Principle and the Strong Notion of Knowledge: Hintikka’s Arguments for KK Revisited

This page was built for publication: Two-dimensional awareness logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q704034)