Relativized common knowledge for dynamic epistemic logic

DOI10.1016/j.jal.2015.06.004zbMath1378.03015MaRDI QIDQ898782

N. E. Zubov

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

zbMATH Keywords

expressivity; relativization; dynamic epistemic logic; relativized common knowledge

Mathematics Subject Classification ID

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?