Implicit, explicit and speculative knowledge

DOI10.1016/j.artint.2017.11.004zbMath1444.03035OpenAlexW2774685358MaRDI QIDQ1748464

Xianqiang Yang

Publication date: 11 May 2018

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2017.11.004

zbMATH Keywords

modal logicbisimulationexpressivitymulti-agent systemsawareness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (5)

Reasoning about manipulation in multi-agent systems ⋮ Wanted dead or alive: epistemic logic for impure simplicial complexes ⋮ Implicit Knowledge in Unawareness Structures - Extended Abstract - ⋮ Awareness as potential for knowledge ⋮ Discovery and equilibrium in games with unawareness

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dealing with logical omniscience: expressiveness and pragmatics
• The dynamics of awareness
• Alternative semantics for unawareness
• Interactive unawareness
• Awareness dynamics
• Reasoning about knowledge of unawareness
• Belief, awareness, and limited reasoning
• Unawareness and partitional information structures
• Awareness and partitional information structures
• Reasoning about knowledge of unawareness revisited
• Bayesian games with unawareness and unawareness perfection
• Unawareness with ``possible possible worlds
• Extensive games with possibly unaware players
• Semantics for knowledge and change of awareness
• A logic for reasoning about knowledge of unawareness
• Interactive unawareness revisited
• Expressivity Hierarchy of Languages for Epistemic Awareness Models
• Epistemic planning for single- and multi-agent systems
• Becoming Aware of Propositional Variables
• Twelve Angry Men: A Study on the Fine-Grain of Announcements
• Propositional quantifiers in modal logic1
• Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models

This page was built for publication: Implicit, explicit and speculative knowledge