Dynamic Epistemic Logics
From MaRDI portal
Publication:5249670
DOI10.1007/978-3-319-06025-5_7zbMath1431.03031MaRDI QIDQ5249670
Publication date: 11 May 2015
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-06025-5_7
Related Items
Temporal Aspects of the Dynamics of Knowledge, Epistemic planning: perspectives on the special issue, Modal Inclusion Logic: Being Lax is Simpler than Being Strict
Cites Work
- Action emulation
- Logics of communication and change
- Dynamic epistemic logic
- Dynamic update with probabilities
- An elementary proof of the completeness of PDL
- Agreeing to disagree
- Probabilistic dynamic epistemic logic
- Reasoning about noisy sensors and effectors in the situation calculus
- The price of universality
- Logics for epistemic programs
- Action emulation between canonical models
- Model checking propositional dynamic logic with all extras
- The undecidability of iterated modal relativization
- Epistemic planning for single- and multi-agent systems
- Conditional Epistemic Planning
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- Learning in a Changing World, an Algebraic Modal Logical Approach
- DEL Planning and Some Tractable Cases
- Propositional Dynamic Logic as a Logic of Belief Revision
- Dynamic logic for belief revision
- Dynamic logic of preference upgrade
- Fragments of first order logic, I: universal Horn logic
- Reasoning about knowledge and probability
- The Uncertain Reasoner's Companion
- Knowledge-based programs
- Intelligent Agents and Multi-Agent Systems
- An axiomatic basis for computer programming
- Probability, Frequency and Reasonable Expectation
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item