- Actions as Events.Ming Xu - 2012 - Journal of Philosophical Logic 41 (4):765 - 809.details
|
|
Temporal Logics of Agency.Johan van Benthem & Eric Pacuit - 2010 - Journal of Logic, Language and Information 19 (4):389-393.details
|
|
Merging frameworks for interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.details
|
|
Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.details
|
|
Reasoning with protocols under imperfect information.Eric Pacuit & Sunil Simon - 2011 - Review of Symbolic Logic 4 (3):412-444.details
|
|
Automata for Epistemic Temporal Logic with Synchronous Communication.Swarup Mohalik & R. Ramanujam - 2010 - Journal of Logic, Language and Information 19 (4):451-484.details
|
|
A logic of intention and attempt.Emiliano Lorini & Andreas Herzig - 2008 - Synthese 163 (1):45 - 77.details
|
|
Diversity of agents and their interaction.Fenrong Liu - 2009 - Journal of Logic, Language and Information 18 (1):23-53.details
|
|
Merging DEL and ETL.Tomohiro Hoshi - 2010 - Journal of Logic, Language and Information 19 (4):413-430.details
|
|
Freedom and Enforcement in Action: A Study in Formal Action Theory.Janusz Czelakowski - 2015 - Dordrecht, Netherland: Springer.details
|
|
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.details
|
|
On theTractability of Comparing Informational Structures.Cédric Dégremont, Lena Kurzen & Jakub Szymanik - 2011 - In J. van Eijck & R. Verbrugge (eds.), Proceedings of the Workshop 'Reasoning about other minds: Logical and cognitive perspectives.details
|
|
Toward a Theory of Play: A Logical Perspective on Games and Interaction.Johan van Benthem & Eric Pacuit - unknowndetails
|
|
Merging Frameworks for Interaction.Johan van Benthem Jelle Gerbrandy - unknowndetails
|
|