A logic for reasoning about knowledge of unawareness

DOI10.1007/S10849-014-9201-4MaRDI QIDQ2258809zbMATH OpenOpenAlexFDO

Authors Thomas Ågotnes, Natasha Alechina

Publication date 27 February 2015

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL http://eprints.nottingham.ac.uk/30171/

zbMATH Keywords

awarenesscompletenesscomplexityepistemic logicmodal logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• Reasoning about knowledge of unawareness
• Reasoning about knowledge of unawareness revisited
• Reprint of: Reasoning about knowledge of unawareness revisited
• Implicit, explicit and speculative knowledge
• Alternative semantics for unawareness

Cites work

• A guide to completeness and complexity for modal logics of knowledge and belief
• Alternative semantics for unawareness
• Awareness and partitional information structures
• Belief, awareness, and limited reasoning
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Interactive unawareness
• Models of awareness
• Reasoning about knowledge of unawareness
• Reasoning about knowledge of unawareness revisited
• Unawareness and partitional information structures

Cited in

(18)

• Unawareness, priors and posteriors
• Reasoning about knowledge of unawareness
• Belief, awareness, and limited reasoning
• A logic with relative knowledge operators
• A first-order coalition logic for BDI-agents
• Implicit, explicit and speculative knowledge
• The dynamics of epistemic attitudes in resource-bounded agents
• Wanted dead or alive: epistemic logic for impure simplicial complexes
• Reprint of: Reasoning about knowledge of unawareness revisited
• Semantics for knowledge and change of awareness
• Rethinking epistemic logic with belief bases
• A logic for ignorance
• Quantified coalition logic of knowledge, belief and certainty
• Models of awareness
• Wanted dead or alive: epistemic logic for impure simplicial complexes
• Alternative semantics for unawareness
• Two-dimensional awareness logics
• Pragmatic reasoning about unawareness

This page was built for publication: A logic for reasoning about knowledge of unawareness

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