A Hybrid Public Announcement Logic with Distributed Knowledge

DOI10.1016/J.ENTCS.2011.06.011MaRDI QIDQ4917078zbMATH OpenOpenAlexWikidataFDO

Authors Jens Ulrik Hansen

Publication date 26 April 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2011.06.011

zbMATH Keywords

completenessdistributed knowledgeepistemic logichybrid logicpublic announcement logicreduction axioms

Mathematics Subject Classification ID

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

Recommendations

• Public announcement logic with distributed knowledge
• Public announcement logic with distributed knowledge: expressivity, completeness and complexity
• Group announcement logic with distributed knowledge
• On axiomatizations of public announcement logic
• Logics with group announcements and distributed knowledge: completeness and expressive power
• A Tableau Method for Public Announcement Logics
• scientific article; zbMATH DE number 6863640
• Graded epistemic logic with public announcement
• Relevant epistemic logic with public announcements and common knowledge
• Relevant epistemic logic with public announcements and common knowledge

Cites work

• A dynamic-epistemic hybrid logic for intentions and information changes in strategic games
• A Hybrid Public Announcement Logic with Distributed Knowledge
• An essay in combinatory dynamic logic
• Arthur Prior and hybrid logic
• Dynamic epistemic logic
• Expressivity and completeness for public update logics via reduction axioms
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Hybrid languages and temporal logic
• Internalizing labelled deduction
• Modal Fixed-Point Logic and Changing Models
• Pure extensions, proof rules, and hybrid axiomatics
• Terminating tableaux for dynamic epistemic logics

Cited in

(9)

• Public announcement logic in HOL
• Public Announcements, Private Actions and Common Knowledge in S5 Structures
• Public announcement logic with distributed knowledge
• Public announcement logic with distributed knowledge: expressivity, completeness and complexity
• A Hybrid Public Announcement Logic with Distributed Knowledge
• scientific article; zbMATH DE number 7444842 (Why is no real title available?)
• THE MODAL LOGIC OF STEPWISE REMOVAL
• Intuitionistic public announcement logic with distributed knowledge
• Hybrid logic of the hide and seek game

This page was built for publication: A Hybrid Public Announcement Logic with Distributed Knowledge

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