- Action and Knowledge in Alternating-Time Temporal Logic.Thomas Ågotnes - 2006 - Synthese 149 (2):375-407.details
|
|
A Logical Framework for Convention.Giacomo Sillari - 2005 - Synthese 147 (2):379-400.details
|
|
Strategic Reasoning: Building Cognitive Models from Logical Formulas.Sujata Ghosh, Ben Meijering & Rineke Verbrugge - 2014 - Journal of Logic, Language and Information 23 (1):1-29.details
|
|
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking.Dimitar P. Guelev, Catalin Dima & Constantin Enea - 2011 - Journal of Applied Non-Classical Logics 21 (1):93-131.details
|
|
The Logic of Joint Ability in Two-Player Tacit Games.Peter Hawke - 2017 - Review of Symbolic Logic 10 (3):481-508.details
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.details
|
|
Grounding power on actions and mental attitudes.E. Lorini, N. Troquard, A. Herzig & J. Broersen - 2013 - Logic Journal of the IGPL 21 (3):311-331.details
|
|
Living up to one's commitments: Agency, strategies and trust.Thomas Müller - 2008 - Journal of Applied Logic 6 (2):251-266.details
|
|
A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic.M. Kacprzak & W. Penczek - 2004 - Synthese 142 (2):203-227.details
|
|
Freedom and Enforcement in Action: A Study in Formal Action Theory.Janusz Czelakowski - 2015 - Dordrecht, Netherland: Springer.details
|
|
Intentions and potential intentions revisited.Xiaocong Fan & John Yen - 2012 - Journal of Applied Non-Classical Logics 22 (3):203-230.details
|
|
Complexity of multi-agent conformant planning with group knowledge.Yanjun Li - 2023 - Synthese 201 (4):1-30.details
|
|
Uncertainty, Rationality, and Agency.Wiebe van der Hoek - 2006 - Dordrecht, Netherland: Springer.details
|
|
Bisimulations for Knowing How Logics.Raul Fervari, Fernando R. Velázquez-Quesada & Yanjing Wang - 2022 - Review of Symbolic Logic 15 (2):450-486.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
|
|
Doing Without Action Types.Hein Duijf, Jan Broersen, Alexandra Kuncová & Aldo Iván Ramírez Abarca - 2021 - Review of Symbolic Logic 14 (2):380-410.details
|
|
Planning-based knowing how: A unified approach.Yanjun Li & Yanjing Wang - 2021 - Artificial Intelligence 296 (C):103487.details
|
|
Epistemic GDL: A logic for representing and reasoning about imperfect information games.Guifei Jiang, Dongmo Zhang, Laurent Perrussel & Heng Zhang - 2021 - Artificial Intelligence 294 (C):103453.details
|
|
Natural strategic ability.Wojciech Jamroga, Vadim Malvone & Aniello Murano - 2019 - Artificial Intelligence 277 (C):103170.details
|
|
Knowing-how under uncertainty.Pavel Naumov & Jia Tao - 2019 - Artificial Intelligence 276 (C):41-56.details
|
|
Quantified Temporal Alethic Boulesic Doxastic Logic.Daniel Rönnedal - 2021 - Logica Universalis 15 (1):1-65.details
|
|
A Logic For Reasoning About Responsibility.Tiago de Lima, Lambér Royakkers & Frank Dignum - 2010 - Logic Journal of the IGPL 18 (1):99-117.details
|
|
Analyzing completeness of axiomatic functional systems for temporal × modal logics.Alfredo Burrieza, Inmaculada P. de Guzmán & Emilio Muñoz-Velasco - 2010 - Mathematical Logic Quarterly 56 (1):89-102.details
|
|
(1 other version)Social laws in alternating time: Effectiveness, feasibility, and synthesis.Wiebe van der Hoek, Mark Roberts & Michael Wooldridge - 2007 - Synthese 156 (1):1-19.details
|
|
Data-informed knowledge and strategies.Junli Jiang & Pavel Naumov - 2022 - Artificial Intelligence 309 (C):103727.details
|
|
Reasoning with protocols under imperfect information.Eric Pacuit & Sunil Simon - 2011 - Review of Symbolic Logic 4 (3):412-444.details
|
|
A dynamic logic of agency I: Stit, capabilities and powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.details
|
|
Deontic epistemic stit logic distinguishing modes of mens rea.Jan Broersen - 2011 - Journal of Applied Logic 9 (2):137-152.details
|
|
A logic of strategic ability under bounded memory.Thomas Ågotnes & Dirk Walther - 2009 - Journal of Logic, Language and Information 18 (1):55-77.details
|
|
Knowledge condition games.Sieuwert van Otterloo, Wiebe Van Der Hoek & Michael Wooldridge - 2006 - Journal of Logic, Language and Information 15 (4):425-452.details
|
|
A Logic for Conditional Local Strategic Reasoning.Valentin Goranko & Fengkui Ju - 2022 - Journal of Logic, Language and Information 31 (2):167-188.details
|
|
A logic for reasoning about counterfactual emotions.Emiliano Lorini & François Schwarzentruber - 2011 - Artificial Intelligence 175 (3-4):814-847.details
|
|
Modeling Reasoning in a Social Setting.Johan van Benthem - 2014 - Studia Logica 102 (2):235-265.details
|
|
Dynamic Epistemic Logic I: Modeling Knowledge and Belief.Eric Pacuit - 2013 - Philosophy Compass 8 (9):798-814.details
|
|
Algorithms for finding coalitions exploiting a new reciprocity condition.Guido Boella, Luigi Sauro & Leendert van der Torre - 2009 - Logic Journal of the IGPL 17 (3):273-297.details
|
|
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.details
|
|
On the logic of cooperation and propositional control.Wiebe van der Hoek & Michael Wooldridge - 2005 - Artificial Intelligence 164 (1-2):81-119.details
|
|
Comparing semantics of logics for multi-agent systems.Valentin Goranko & Wojciech Jamroga - 2004 - Synthese 139 (2):241 - 280.details
|
|
Automatically running experiments on checking multi-party contracts.Adilson Luiz Bonifacio & Wellington Aparecido Della Mura - 2020 - Artificial Intelligence and Law 29 (3):287-310.details
|
|
Knowledge-based strategies for multi-agent teams playing against Nature.Dilian Gurov, Valentin Goranko & Edvin Lundberg - 2022 - Artificial Intelligence 309 (C):103728.details
|
|
Verification of multi-agent systems with public actions against strategy logic.Francesco Belardinelli, Alessio Lomuscio, Aniello Murano & Sasha Rubin - 2020 - Artificial Intelligence 285 (C):103302.details
|
|
Bounded model checking for knowledge and real time.Alessio Lomuscio, Wojciech Penczek & Bożena Woźna - 2007 - Artificial Intelligence 171 (16-17):1011-1038.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
|
|
Open Problems in Logic and Games.Johan van Benthem - unknowndetails
|
|
On composition of bounded-recall plans.Kaya Deuser & Pavel Naumov - 2020 - Artificial Intelligence 289 (C):103399.details
|
|
On obligations and normative ability: Towards a logical analysis of the social contract.Michael Wooldridge & Wiebe van der Hoek - 2005 - Journal of Applied Logic 3 (3-4):396-420.details
|
|