Group announcement logic with distributed knowledge

DOI10.1007/978-3-662-60292-8_8OpenAlexW2980039472MaRDI QIDQ2291230FDOQ2291230

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

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

zbMATH Keywords

dynamic epistemic logicdistributed knowledgegroup announcement logicresolved distributed knowledge

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (8)

• 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
• Title not available (Why is that?)

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)