Relativized common knowledge for dynamic epistemic logic

DOI10.1016/J.JAL.2015.06.004MaRDI QIDQ898782zbMATH OpenOpenAlexFDO

Authors 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

dynamic epistemic logicexpressivityrelativizationrelativized common knowledge

Mathematics Subject Classification ID

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

Recommendations

• Public Announcements, Private Actions and Common Knowledge in S5 Structures
• Total Public Announcements
• The expressivity of factual change in dynamic epistemic logic
• Public announcement logic with distributed knowledge
• The expressivity of update logics

Cites work

• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• scientific article; zbMATH DE number 1453144 (Why is no real title available?)
• A guide to completeness and complexity for modal logics of knowledge and belief
• Arrow update logic
• Dynamic Epistemic Logic and Knowledge Puzzles
• Expressivity and completeness for public update logics via reduction axioms
• Logics for epistemic programs
• Logics of communication and change
• MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
• Public announcement logic with distributed knowledge: expressivity, completeness and complexity
• The expressivity of factual change in dynamic epistemic logic
• The logic of public announcements, common knowledge, and private suspicions
• What can machines know?

Cited in

(8)

• scientific article; zbMATH DE number 7084828 (Why is no real title available?)
• Communication pattern logic: epistemic and topological views
• Logics with group announcements and distributed knowledge: completeness and expressive power
• Comparing the Update Expressivity of Communication Patterns and Action Models
• Resolving distributed knowledge
• The expressivity of factual change in dynamic epistemic logic
• Relevant epistemic logic with public announcements and common knowledge
• Explicit generic common knowledge

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q898782)