A logic for reasoning about knowledge of unawareness

DOI10.1007/S10849-014-9201-4zbMath1311.03032OpenAlexW2019736904MaRDI QIDQ2258809

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

complexitymodal logiccompletenessepistemic logicawareness

Mathematics Subject Classification ID

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

Related Items (7)

Wanted dead or alive: epistemic logic for impure simplicial complexes ⋮ A first-order coalition logic for BDI-agents ⋮ Quantified Coalition Logic of Knowledge, Belief and Certainty ⋮ Implicit, explicit and speculative knowledge ⋮ The dynamics of epistemic attitudes in resource-bounded agents ⋮ Rethinking epistemic logic with belief bases ⋮ Unawareness, priors and posteriors

Cites Work

• Unnamed Item
• Unnamed Item
• Alternative semantics for unawareness
• Interactive unawareness
• Reasoning about knowledge of unawareness
• Belief, awareness, and limited reasoning
• A guide to completeness and complexity for modal logics of knowledge and belief
• Unawareness and partitional information structures
• Awareness and partitional information structures
• Reasoning about knowledge of unawareness revisited

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