Hans van Ditmarsch, Sophia Knight, Aybüke Özgün, “Announcement as effort on topological spaces”, Electron. Proc. Theor. Comput. Sci., 215 (2016), 283
Bernhard Heinemann, Lecture Notes in Computer Science, 9537, Logical Foundations of Computer Science, 2016, 130
Bernhard Heinemann, Lecture Notes in Computer Science, 9403, Knowledge Science, Engineering and Management, 2015, 3
Philippe Balbiani, “Putting right the wording and the proof of the Truth Lemma forAPAL”, Journal of Applied Non-Classical Logics, 25:1 (2015), 2
Hans van Ditmarsch, Sophia Knight, Aybüke Özgün, Lecture Notes in Computer Science, 8953, Multi-Agent Systems, 2015, 252
Bernhard Heinemann, Lecture Notes in Computer Science, 9160, Logic, Language, Information, and Computation, 2015, 27
Bernhard Heinemann, Lecture Notes in Computer Science, 8312, Logic for Programming, Artificial Intelligence, and Reasoning, 2013, 373
Minghui Ma, Katsuhiko Sano, Lecture Notes in Computer Science, 8196, Logic, Rationality, and Interaction, 2013, 204