Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
From MaRDI portal
Publication:4586238
DOI10.1080/11663081.2017.1416036zbMath1398.03072OpenAlexW2792705985WikidataQ130192680 ScholiaQ130192680MaRDI QIDQ4586238
Publication date: 12 September 2018
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: http://oatao.univ-toulouse.fr/22690/1/herzig_22690.pdf
belief revisiondynamic epistemic logiclogic of actionpublic announcement logiclogic of knowledgelogic of belief
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Announcements to attentive agents
- On axiomatizations of public announcement logic
- AGM 25 years. Twenty-five years of research in belief change
- McCarthy variations in a modal key
- Prolegomena to dynamic logic for belief revision
- Logics of communication and change
- Dynamic epistemic logic
- Reasoning about information change
- Ramification and causality
- Many-dimensional modal logics: theory and applications
- Descriptions of game actions
- Logics for epistemic programs
- Logics of public communications
- STRIPS: A new approach to the application of theorem proving to problem solving
- Composing models
- Epistemology Without Knowledge and Without Belief
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- From Situation Calculus to Dynamic Epistemic Logic
- ARROW UPDATE LOGIC
- A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation
- Symbolic Model Checking for Dynamic Epistemic Logic
- Consistency Preservation and Crazy Formulas in BMS
- Dynamic logic for belief revision
- Expressivity and completeness for public update logics via reduction axioms
- On the logic of theory change: Partial meet contraction and revision functions
- How to share knowledge by gossiping
- Agents that look at one another
- Global and Local Graph Modifiers
- Intelligent Agents and Multi-Agent Systems
- Parallel interpolation, splitting, and relevance in belief change
- Knowledge in multiagent systems
This page was built for publication: Dynamic epistemic logics: promises, problems, shortcomings, and perspectives