Relativized common knowledge for dynamic epistemic logic
From MaRDI portal
Publication:898782
DOI10.1016/j.jal.2015.06.004zbMath1378.03015MaRDI QIDQ898782
Publication date: 18 December 2015
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2015.06.004
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
Related Items
Communication pattern logic: epistemic and topological views, Comparing the Update Expressivity of Communication Patterns and Action Models, Resolving distributed knowledge, Logics with group announcements and distributed knowledge: completeness and expressive power
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity
- Logics of communication and change
- A guide to completeness and complexity for modal logics of knowledge and belief
- Logics for epistemic programs
- THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- ARROW UPDATE LOGIC
- Dynamic Epistemic Logic and Knowledge Puzzles
- Expressivity and completeness for public update logics via reduction axioms
- MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
- What can machines know?