Coalition and relativised group announcement logic

DOI10.1007/S10849-020-09327-2OpenAlexW3119300963MaRDI QIDQ2236503FDOQ2236503

Authors: Rustam Galimullin 

Publication date: 25 October 2021

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

Full work available at URL: https://doi.org/10.1007/s10849-020-09327-2

Recommendations

• Group announcement logic
• The undecidability of quantified announcements
• Logics with group announcements and distributed knowledge: completeness and expressive power
• Model Checking for Coalition Announcement Logic
• Coalition and group announcement logic

zbMATH Keywords

dynamic epistemic logicpublic announcement logiccoalition announcement logicgroup announcement logic

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Logics of communication and change
• A Modal Logic for Coalitional Power in Games
• Title not available (Why is that?)
• Logic in games
• Handbook of modal logic
• Dynamic epistemic logic
• Quantifying Notes
• The undecidability of quantified announcements
• `Knowable' as `known after an announcement'
• Refinement modal logic
• On axiomatizations of public announcement logic
• Arbitrary action model logic and action model synthesis
• Group announcement logic
• Clues to the paradoxes of knowability: reply to Dummett and Tennant
• Logics of public communications
• Arbitrary arrow update logic
• Title not available (Why is that?)
• Games in dynamic-epistemic logic
• Public announcement logic with distributed knowledge: expressivity, completeness and complexity
• What will they say? -- Public announcement games
• Axiomatising the logic of computer programming
• Group announcement logic with distributed knowledge
• Coalition and group announcement logic
• Alternating-time temporal dynamic epistemic logic
• Resolving distributed knowledge
• On the definability of simulation and bisimulation in epistemic logic
• Arbitrary arrow update logic with common knowledge is neither RE nor co-RE
• APAL with memory Ii better
• Putting right the wording and the proof of the truth lemma for \textit{APAL}
• Model Checking for Coalition Announcement Logic
• Fully arbitrary public announcements

Cited In (13)

• Dynamic coalition logic: granting and revoking dictatorial powers
• To be announced
• The undecidability of quantified announcements
• Coalition and group announcement logic
• Model checking for coalition announcement logic
• Logics with group announcements and distributed knowledge: completeness and expressive power
• Group announcement logic
• Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard
• Model Checking for Coalition Announcement Logic
• No finite model property for logics of quantified announcements
• From coalition logic to STIT
• On the Dynamics of Institutional Agreements
• Verification and strategy synthesis for coalition announcement logic

This page was built for publication: Coalition and relativised group announcement logic

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