Coalition and relativised group announcement logic
From MaRDI portal
Publication:2236503
DOI10.1007/s10849-020-09327-2OpenAlexW3119300963MaRDI QIDQ2236503
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
dynamic epistemic logicpublic announcement logiccoalition announcement logicgroup announcement logic
Related Items (4)
Dynamic coalition logic: granting and revoking dictatorial powers ⋮ Logics with group announcements and distributed knowledge: completeness and expressive power ⋮ To be announced ⋮ Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The undecidability of quantified announcements
- Arbitrary arrow update logic
- Refinement modal logic
- On axiomatizations of public announcement logic
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity
- What will they say? -- Public announcement games
- Logics of communication and change
- Dynamic epistemic logic
- Group announcement logic
- Axiomatising the logic of computer programming
- Resolving distributed knowledge
- APAL with memory Is better
- Group announcement logic with distributed knowledge
- Logics of public communications
- Quantifying Notes
- Alternating-time temporal dynamic epistemic logic
- On the definability of simulation and bisimulation in epistemic logic
- Games in Dynamic-Epistemic Logic
- ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
- A Modal Logic for Coalitional Power in Games
- Putting right the wording and the proof of the Truth Lemma forAPAL
- Clues to the paradoxes of knowability: reply to Dummett and Tennant
- Arbitrary Action Model Logic and Action Model Synthesis
This page was built for publication: Coalition and relativised group announcement logic
