Logics with group announcements and distributed knowledge: completeness and expressive power

DOI10.1007/S10849-022-09355-0MaRDI QIDQ2155204zbMATH OpenOpenAlexFDO

Authors Thomas Ågotnes, Natasha Alechina, Rustam Galimullin

Publication date 15 July 2022

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10849-022-09355-0

zbMATH Keywords

dynamic epistemic logicpublic announcement logicdistributed knowledgegroup announcement logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Public announcement logic with distributed knowledge
• Group announcement logic
• Public announcement logic with distributed knowledge: expressivity, completeness and complexity
• `Knowable' as `known after an announcement'
• scientific article; zbMATH DE number 7444842

Cites work

• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A Modal Logic for Coalitional Power in Games
• Alternating-time temporal logic
• Arbitrary action model logic and action model synthesis
• Arbitrary arrow update logic
• Axiomatising the logic of computer programming
• Coalition and relativised group announcement logic
• Coalition logic with individual, distributed and common knowledge
• Distributed knowledge
• Dynamic epistemic logic
• Group announcement logic
• Group announcement logic with distributed knowledge
• Handbook of modal logic
• Logics of communication and change
• Logics of public communications
• MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
• Model Checking for Coalition Announcement Logic
• Moorean phenomena in epistemic logic
• Positive announcements
• Public announcement logic with distributed knowledge: expressivity, completeness and complexity
• Quantifying Notes
• Refinement modal logic
• Relativized common knowledge for dynamic epistemic logic
• Resolving distributed knowledge
• The secret of my success
• Verification and strategy synthesis for coalition announcement logic
• `Knowable' as `known after an announcement'

Cited in

(11)

• A Hybrid Public Announcement Logic with Distributed Knowledge
• To be announced
• Coalition and relativised group announcement logic
• Arbitrary public announcement logic with memory
• Public announcement logic with distributed knowledge
• scientific article; zbMATH DE number 7649937 (Why is no real title available?)
• A Tableau Method for Public Announcement Logics
• The undecidability of quantified announcements
• Resolving distributed knowledge
• Coalition and group announcement logic
• Public announcement logic with distributed knowledge: expressivity, completeness and complexity

This page was built for publication: Logics with group announcements and distributed knowledge: completeness and expressive power

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