Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch & Pablo Seban (2010):
Group announcement logic.
Journal of Applied Logic 8,
pp. 62–81,
doi:10.1016/j.jal.2008.12.002.
Thomas Ågotnes & Hans van Ditmarsch (2008):
Coalitions and announcements.
In: Lin Padgham, David C. Parkes, Jörg P. Müller & Simon Parsons: Proceedings of the 7th AAMAS.
IFAAMAS,
pp. 673–680.
Thomas Ågotnes, Hans van Ditmarsch & Tim French (2016):
The Undecidability of Quantified Announcements.
Studia Logica 104(4),
pp. 597–640,
doi:10.1007/s11225-016-9657-0.
Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi & Tiago de Lima (2008):
`Knowable' as `known after an announcement'.
Review of Symbolic Logic 1(3),
pp. 305–334,
doi:10.1017/S1755020308080210.
Thomas Bolander & Mikkel Birkegaard Andersen (2011):
Epistemic planning for single and multi-agent systems.
Journal of Applied Non-Classical Logics 21(1),
pp. 9–34,
doi:10.3166/jancl.21.9-34.
Hans van Ditmarsch (2020):
Quantifying Notes Revisited.
CoRR abs/2004.05802.
Hans van Ditmarsch & Tim French (2020):
Quantifying over Boolean announcements.
CoRR abs/1712.05310.
Hans van Ditmarsch, Tim French & James Hales (2020):
Positive Announcements.
Studia Logica,
doi:10.1007/s11225-020-09922-1.
Dov M. Gabbay (1971):
On decidable, finitely axiomatizable, modal and tense logics without the finite model property. Part I.
Israel Journal of Mathematics 10,
pp. 478–495,
doi:10.1007/BF02771736.
Dov M. Gabbay (1971):
On decidable, finitely axiomatizable, modal and tense logics without the finite model property. Part II.
Israel Journal of Mathematics 10,
pp. 496–503,
doi:10.1007/BF02771737.
Dov M. Gabbay & Valentin B. Shehtman (1998):
Products of Modal Logics, Part 1.
Logic Journal of the IGPL 6(1),
pp. 73–146,
doi:10.1093/jigpal/6.1.73.
Rustam Galimullin (2019):
Coalition Announcements.
University of Nottingham.
Rustam Galimullin (2021):
Coalition and Relativised Group Announcement Logic.
Journal of Logic, Language and Information,
doi:10.1007/s10849-020-09327-2.
Valentin Goranko & Martin Otto (2007):
Model Theory of Modal Logic.
In: Patrick Blackburn, Johan van Benthem & Frank Wolter: Handbook of Modal Logic,
Studies in Logic and Practical Reasoning 3.
Elsevier,
pp. 249–329,
doi:10.1016/S1570-2464(07)80008-5.
Robin Hirsch, Ian M. Hodkinson & Ágnes Kurucz (2002):
On Modal Logics Between K x K x K and S5 x S5 x S5.
Journal of Symbolic Logic 67(1),
pp. 221–234,
doi:10.2178/jsl/1190150040.
Marcus Kracht (1991):
A solution to a problem of Urquhart.
Journal of Philosophical Logic 20(3),
pp. 285–286,
doi:10.1007/BF00250541.
Ágnes Kurucz (2000):
On Axiomatising Products of Kripke Frames.
Journal of Symbolic Logic 65(2),
pp. 923–945,
doi:10.2307/2586578.
John-Jules Ch. Meyer & Wiebe van der Hoek (1995):
Epistemic Logic for AI and Computer Science.
Cambridge Tracts in Theoretical Computer Science.
CUP,
doi:10.1017/cbo9780511569852.
Zoran Ognjanovi\'c (2006):
Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity.
Journal of Logic and Computation 16(2),
pp. 257–285,
doi:10.1093/logcom/exi077.
Marc Pauly (2002):
A Modal Logic for Coalitional Power in Games.
Journal of Logic and Computation 12(1),
pp. 149–166,
doi:10.1093/logcom/12.1.149.
Jan Plaza (2007):
Logics of public communications.
Synthese 158(2),
pp. 165–179,
doi:10.1007/s11229-007-9168-7.
Alasdair Urquhart (1981):
Decidability and the finite model property.
Journal of Philosophical Logic 10(3),
pp. 367–370,
doi:10.1007/BF00293428.
eptcs@eptcs.org