Group announcement logic with distributed knowledge

DOI10.1007/978-3-662-60292-8_8MaRDI QIDQ2291230zbMATH OpenOpenAlexFDO

Authors Rustam Galimullin, Thomas Ågotnes, Natasha Alechina

Publication date 30 January 2020

Full work available at URL https://doi.org/10.1007/978-3-662-60292-8_8

zbMATH Keywords

dynamic epistemic logicdistributed knowledgegroup announcement logicresolved distributed knowledge

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Logics with group announcements and distributed knowledge: completeness and expressive power
• Group announcement logic
• Public announcement logic with distributed knowledge
• Public announcement logic with distributed knowledge: expressivity, completeness and complexity
• Coalition and relativised group announcement logic

Cited in

(8)

• scientific article; zbMATH DE number 7444842 (Why is no real title available?)
• Intuitionistic public announcement logic with distributed knowledge
• A Hybrid Public Announcement Logic with Distributed Knowledge
• To be announced
• Coalition and relativised group announcement logic
• Logics with group announcements and distributed knowledge: completeness and expressive power
• Group announcement logic
• Public Announcements, Private Actions and Common Knowledge in S5 Structures

This page was built for publication: Group announcement logic with distributed knowledge

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