Implicit Knowledge in Unawareness Structures - Extended Abstract -

DOI10.4204/eptcs.379.10arXiv2307.05041MaRDI QIDQ6199601

Gaia Belardinelli, Burkhard C. Schipper

Publication date: 28 February 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2307.05041

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Two models of unawareness: comparing the object-based and the subjective-state-space approaches
• Equivalence of the information structure with unawareness to the logic of awareness
• Alternative semantics for unawareness
• Syntactic foundations for unawareness of theorems
• Interactive unawareness
• Information structures with unawareness
• Reasoning about knowledge of unawareness
• Belief, awareness, and limited reasoning
• Impossible possible worlds vindicated
• Unawareness and partitional information structures
• Implicit, explicit and speculative knowledge
• Reasoning about knowledge of unawareness revisited
• Unawareness of theorems
• Rethinking epistemic logic with belief bases
• Interactive unawareness revisited
• A canonical model for interactive unawareness
• Explicit and Implicit Knowledge in Neighbourhood Models
• QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS
• Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models

This page was built for publication: Implicit Knowledge in Unawareness Structures - Extended Abstract -