Relativized common knowledge for dynamic epistemic logic

DOI10.1016/j.jal.2015.06.004zbMath1378.03015OpenAlexW2239111807MaRDI 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

expressivityrelativizationdynamic epistemic logicrelativized common knowledge

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (4)

Logics with group announcements and distributed knowledge: completeness and expressive power ⋮ Resolving distributed knowledge ⋮ Communication pattern logic: epistemic and topological views ⋮ Comparing the Update Expressivity of Communication Patterns and Action Models

Cites Work

• 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?
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Relativized common knowledge for dynamic epistemic logic