Coalition and relativised group announcement logic
From MaRDI portal
Publication:2236503
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
dynamic epistemic logicpublic announcement logiccoalition announcement logicgroup announcement logic
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)