Coalition and group announcement logic
From MaRDI portal
Publication:3384067
Recommendations
Cites work
- A Modal Logic for Coalitional Power in Games
- Axiomatising the logic of computer programming
- Dynamic epistemic logic
- Dynamic epistemic temporal logic
- Epistemic planning for single- and multi-agent systems
- Group announcement logic
- Knowledge games and coalitional abilities
- Logics of public communications
- Putting right the wording and the proof of the truth lemma for \textit{APAL}
- Quantifying Notes
- The undecidability of quantified announcements
- `Knowable' as `known after an announcement'
Cited in
(6)
This page was built for publication: Coalition and group announcement logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3384067)