The Dynamic Epistemic Logic for Actual Knowledge

DOI10.18778/0138-0680.2020.04zbMath1446.03039OpenAlexW3037934030MaRDI QIDQ5126206

Arkadiusz Wójcik

Publication date: 15 October 2020

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.2020.04

zbMATH Keywords

knowledge representationmulti-agent systemsdynamic epistemic logicproblem of logical omniscienceepistemic changeactual knowledgelogic of public announcements

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Belief, awareness, and limited reasoning
• Reasoning about information change
• Epistemology Without Knowledge and Without Belief
• Dynamic Epistemic Logic and Logical Omniscience
• Epistemic logic and logical omniscience: A survey
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

This page was built for publication: The Dynamic Epistemic Logic for Actual Knowledge