- The deliberative stit: A study of action, omission, ability, and obligation. [REVIEW]John F. Horty & Nuel Belnap - 1995 - Journal of Philosophical Logic 24 (6):583 - 644.details
|
|
(1 other version)Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications.Wiebe van der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):125-157.details
|
|
Together we know how to achieve: An epistemic logic of know-how.Pavel Naumov & Jia Tao - 2018 - Artificial Intelligence 262 (C):279-300.details
|
|
On the logic of cooperation and propositional control.Wiebe van der Hoek & Michael Wooldridge - 2005 - Artificial Intelligence 164 (1-2):81-119.details
|
|
What groups do, can do, and know they can do: an analysis in normal modal logics.Jan Broersen, Andreas Herzig & Nicolas Troquard - 2009 - Journal of Applied Non-Classical Logics 19 (3):261-289.details
|
|
Logic of confidence.Pavel Naumov & Jia Tao - 2015 - Synthese 192 (6):1821-1838.details
|
|
Axiomatizing Distance Logics.Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):425-439.details
|
|
Games in Dynamic-Epistemic Logic.Johan van Benthem - unknowndetails
|
|
A modal logic framework for reasoning about comparative distances and topology.Mikhail Sheremet, Frank Wolter & Michael Zakharyaschev - 2010 - Annals of Pure and Applied Logic 161 (4):534-559.details
|
|
Constructive knowledge: what agents can achieve under imperfect information.Wojciech Jamroga & Thomas Ågotnes - 2007 - Journal of Applied Non-Classical Logics 17 (4):423-475.details
|
|
Group announcement logic.Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch & Pablo Seban - 2010 - Journal of Applied Logic 8 (1):62-81.details
|
|
Reasoning about coalitional games.Thomas Ågotnes, Wiebe van der Hoek & Michael Wooldridge - 2009 - Artificial Intelligence 173 (1):45-79.details
|
|