Thomas Ågotnes & Natasha Alechina (2012):
Epistemic coalition logic: completeness and complexity.
In: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems-Volume 2.
International Foundation for Autonomous Agents and Multiagent Systems,
pp. 1099–1106.
Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch & Pablo Seban (2010):
Group announcement logic.
Journal of Applied Logic 8(1),
pp. 62 – 81,
doi:10.1016/j.jal.2008.12.002.
Thomas Ågotnes, Wiebe van der Hoek & Michael Wooldridge (2009):
Reasoning about coalitional games.
Artificial Intelligence 173(1),
pp. 45 – 79,
doi:10.1016/j.artint.2008.08.004.
Eralp A Akkoyunlu, Kattamuri Ekanadham & RV Huber (1975):
Some constraints and tradeoffs in the design of network communications.
In: ACM SIGOPS Operating Systems Review 9.
ACM,
pp. 67–74,
doi:10.1145/800213.806523.
Rajeev Alur, Thomas A. Henzinger & Orna Kupferman (2002):
Alternating-time temporal logic.
Journal of the ACM 49(5),
pp. 672–713,
doi:10.1145/585265.585270.
Francesco Belardinelli (2014):
Reasoning about Knowledge and Strategies: Epistemic Strategy Logic.
In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014,
EPTCS 146,
pp. 27–33,
doi:10.4204/EPTCS.146.4.
Stefano Borgo (2007):
Coalitions in Action Logic.
In: 20th International Joint Conference on Artificial Intelligence,
pp. 1822–1827.
Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi (1995):
Reasoning about knowledge.
MIT Press,
Cambridge, MA.
Valentin Goranko (2001):
Coalition games and alternating temporal logics.
In: Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge.
Morgan Kaufmann Publishers Inc.,
pp. 259–272.
James N Gray (1978):
Notes on data base operating systems.
In: Operating Systems.
Springer,
pp. 393–481,
doi:10.1007/3-540-08755-9_9.
Wiebe van der Hoek & Michael Wooldridge (2003):
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications.
Studia Logica 75(1),
pp. 125–157,
doi:10.1023/A:1026171312755.
Wiebe van der Hoek & Michael Wooldridge (2005):
On the logic of cooperation and propositional control.
Artificial Intelligence 164(1),
pp. 81 – 119,
doi:10.1016/j.artint.2005.01.003.
Wojciech Jamroga & Thomas Ågotnes (2007):
Constructive knowledge: what agents can achieve under imperfect information.
Journal of Applied Non-Classical Logics 17(4),
pp. 423–475,
doi:10.3166/jancl.17.423-475.
Wojciech Jamroga & Wiebe van der Hoek (2004):
Agents that know how to play.
Fundamenta Informaticae 63(2-3),
pp. 185–219.
Sara Miner More & Pavel Naumov (2012):
Calculus of Cooperation and Game-based Reasoning About Protocol Privacy.
ACM Trans. Comput. Logic 13(3),
pp. 22:1–22:21,
doi:10.1145/2287718.2287722.
Pavel Naumov & Jia Tao (2017):
Coalition Power in Epistemic Transition Systems.
In: Proceedings of the 2017 International Conference on Autonomous Agents and Multiagent Systems (AAMAS),
pp. 723–731.
Pavel Naumov & Jia Tao (2017):
Together We Know How to Achieve: An Epistemic Logic of Know-How.
arXiv:1705.09349.
Marc Pauly (2001):
Logic for Social Software.
Institute for Logic, Language, and Computation.
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.
Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek & Michael Wooldridge (2006):
Reasoning About Action and Cooperation.
In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems,
AAMAS '06.
ACM,
New York, NY, USA,
pp. 185–192,
doi:10.1145/1160633.1160663.
Johan Van Benthem (2001):
Games in Dynamic-Epistemic Logic.
Bulletin of Economic Research 53(4),
pp. 219–248,
doi:10.1111/1467-8586.00133.
Yanjing Wang:
A Logic of Goal-directed Knowing How.
Synthese.
(to appear),
doi:10.1007/s11229-016-1272-0.
Yanjing Wang (2015):
A logic of knowing how.
In: Logic, Rationality, and Interaction.
Springer,
pp. 392–405,
doi:10.1007/978-3-662-48561-3_32.
eptcs@eptcs.org