Semantics for knowledge and change of awareness

DOI10.1007/S10849-014-9194-ZzbMath1305.68163OpenAlexW2034302384MaRDI QIDQ2258808

Tim French, Hans P. van Ditmarsch

Publication date: 27 February 2015

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

Full work available at URL: https://doi.org/10.1007/s10849-014-9194-z

zbMATH Keywords

multi-agent systemsawarenessdynamic epistemic logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)

Related Items (6)

Wanted dead or alive: epistemic logic for impure simplicial complexes ⋮ A modal view on resource-bounded propositional logics ⋮ Awareness as potential for knowledge ⋮ Implicit, explicit and speculative knowledge ⋮ The dynamics of epistemic attitudes in resource-bounded agents ⋮ Rethinking epistemic logic with belief bases

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interactive unawareness
• Awareness dynamics
• Introspective forgetting
• Reasoning about knowledge of unawareness
• Belief, awareness, and limited reasoning
• Unawareness and partitional information structures
• Awareness and partitional information structures
• Characterizations of negative definability in modal logic
• Expressivity Hierarchy of Languages for Epistemic Awareness Models
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Becoming Aware of Propositional Variables
• Simulation and Information: Quantifying over Epistemic Events
• μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★
• Twelve Angry Men: A Study on the Fine-Grain of Announcements
• Propositional quantifiers in modal logic1
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski

This page was built for publication: Semantics for knowledge and change of awareness