Taming Large Rule Models in Rough Set Approaches. - Thomas Ågotnes; Henryk Jan Komorowski; Terje Løken (PKDD, 1999)

A logic of reasoning, communication and cooperation with syntactic knowledge. - Thomas Ågotnes; Michal Walicki (AAMAS, 2005)

Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures. - Thomas Ågotnes; Michal Walicki (CLIMA, 2005)

Complete Axiomatizations of Finite Syntactic Epistemic States. - Thomas Ågotnes; Michal Walicki (DALT, 2005)

On the logic of coalitional games. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (AAMAS, 2006)

Temporal qualitative coalitional games. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (AAMAS, 2006)

What agents can achieve under incomplete information. - Wojciech Jamroga; Thomas Ågotnes (AAMAS, 2006)

Knowing Minimum/Maximum n Formulae. - Thomas Ågotnes; Natasha Alechina (ECAI, 2006)

Semantics for Dynamic Syntactic Epistemic Logics. - Thomas Ågotnes; Natasha Alechina (KR, 2006)

Action and Knowledge in Alternating-Time Temporal Logic. - Thomas Ågotnes (Synth., 2006)

Logic for Automated Mechanism Design - A Progress Report. - Michael J. Wooldridge; Thomas Ågotnes; Paul E. Dunne; Wiebe van der Hoek (AAAI, 2007)

Reasoning about judgment and preference aggregation. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (AAMAS, 2007)

Normative system games. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (AAMAS, 2007)

Modular interpreted systems. - Wojciech Jamroga; Thomas Ågotnes (AAMAS, 2007)

On the Logic of Normative Systems. - Thomas Ågotnes; Wiebe van der Hoek; Juan A. Rodríguez-Aguilar; Carles Sierra; Michael J. Wooldridge (IJCAI, 2007)

Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. - Thomas Ågotnes; Natasha Alechina (TARK, 2007)

Alternating-time temporal logics with irrevocable strategies. - Thomas Ågotnes; Valentin Goranko; Wojciech Jamroga (TARK, 2007)

Completeness and Complexity of Multi-modal CTL. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (M4M, 2007)

Constructive knowledge: what agents can achieve under imperfect information. - Wojciech Jamroga; Thomas Ågotnes (J. Appl. Non Class. Logics, 2007)

The Dynamics of Syntactic Knowledge. - Thomas Ågotnes; Natasha Alechina (J. Log. Comput., 2007)

Coalitions and announcements. - Thomas Ågotnes; Hans van Ditmarsch (AAMAS (2), 2008)

Quantifying over coalitions in epistemic logic. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (AAMAS (2), 2008)

Complete Axiomatisations of Properties of Finite Sets. - Thomas Ågotnes; Michal Walicki (Log. J. IGPL, 2008)

Quantified coalition logic. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (Synth., 2008)

A Temporal Logic of Normative Systems. - Thomas Ågotnes; Wiebe van der Hoek; Juan A. Rodríguez-Aguilar; Carles Sierra; Michael J. Wooldridge (Towards Mathematical Philosophy, 2009)

Power in normative systems. - Thomas Ågotnes; Wiebe van der Hoek; Moshe Tennenholtz; Michael J. Wooldridge (AAMAS (1), 2009)

Robust Normative Systems. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (Normative Multi-Agent Systems, 2009)

Reasoning about coalitional games. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (Artif. Intell., 2009)

Logics for Qualitative Coalitional Games. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (Log. J. IGPL, 2009)

Editorial. - Thomas Ågotnes; Natasha Alechina (J. Log. Lang. Inf., 2009)

A Logic of Strategic Ability Under Bounded Memory. - Thomas Ågotnes; Dirk Walther 003 (J. Log. Lang. Inf., 2009)

Multi-Modal CTL: Completeness, Complexity, and an Application. - Thomas Ågotnes; Wiebe van der Hoek; Juan A. Rodríguez-Aguilar; Carles Sierra; Michael J. Wooldridge (Stud Logica, 2009)

Logic and intelligent interaction. - Thomas Ågotnes; Johan van Benthem; Eric Pacuit (Synth., 2009)

Optimal social laws. - Thomas Ågotnes; Michael J. Wooldridge (AAMAS, 2010)

Group Announcements: Logic and Games (Abstract of Invited Talk). - Thomas Ågotnes (CLIMA, 2010)

Robust normative systems and a logic of norm compliance. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (Log. J. IGPL, 2010)

Group announcement logic. - Thomas Ågotnes; Philippe Balbiani; Hans van Ditmarsch; Pablo Seban (J. Appl. Log., 2010)

Scientia potentia est. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (AAMAS, 2011)

Reasoning about Joint Action and Coalitional Ability in K n with Intersection. - Thomas Ågotnes; Natasha Alechina (CLIMA, 2011)

Public Announcement Logic with Distributed Knowledge. - Yì N. Wáng; Thomas Ågotnes (LORI, 2011)

Coordinating multi-agent systems using social laws. - Thomas Ågotnes (SCAI, 2011)

On the logic of preference and judgment aggregation. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (Auton. Agents Multi Agent Syst., 2011)

Completeness of Epistemic Coalition Logic with Group Knowledge - Thomas Ågotnes; Natasha Alechina (CoRR, 2011)

Question-answer games. - Thomas Ågotnes; Johan van Benthem; Hans van Ditmarsch; Stefan Minica (J. Appl. Non Class. Logics, 2011)

What will they say? - Public Announcement Games. - Thomas Ågotnes; Hans van Ditmarsch (Synth., 2011)

Epistemic coalition logic: completeness and complexity. - Thomas Ågotnes; Natasha Alechina (AAMAS, 2012)

Conservative Social Laws. - Thomas Ågotnes; Wiebe van der Hoek; Michael J. Wooldridge (ECAI, 2012)

Coalitional Public Announcement Games. - Thomas Ågotnes; Hans van Ditmarsch (PRIMA, 2012)

NORMC: a Norm Compliance Temporal Logic Model Checker. - Piotr Kazmierczak; Truls Pedersen; Thomas Ågotnes (STAIRS, 2012)

Reasonably Rational: Reasoning about Reasons Behind Preferences Using Modal Logic. - Truls Pedersen; Sjur K. Dyrkolbotn; Thomas Ågotnes (AT, 2013)

Preference Logic of Focus Change: A Semantic Approach. - Yì N. Wáng; Thomas Ågotnes (AT, 2013)

Subset Space Public Announcement Logic. - Yì N. Wáng; Thomas Ågotnes (ICLA, 2013)

Verifiable Equilibria in Boolean Games. - Thomas Ågotnes; Paul Harrenstein; Wiebe van der Hoek; Michael J. Wooldridge (IJCAI, 2013)

Multi-Agent Subset Space Logic. - Yi Nicholas Wang; Thomas Ågotnes (IJCAI, 2013)

Boolean Games with Epistemic Goals. - Thomas Ågotnes; Paul Harrenstein; Wiebe van der Hoek; Michael J. Wooldridge (LORI, 2013)

Public Announcements, Private Actions and Common Knowledge in S5 Structures. - Yì N. Wáng; Thomas Ågotnes (LORI, 2013)

Public announcement logic with distributed knowledge: expressivity, completeness and complexity. - Yì N. Wáng; Thomas Ågotnes (Synth., 2013)

Knowledge Games and Coalitional Abilities. - Thomas Ågotnes; Hans van Ditmarsch (Johan van Benthem on Logic and Information Dynamics, 2014)

The undecidability of group announcements. - Thomas Ågotnes; Hans van Ditmarsch; Tim French 002 (AAMAS, 2014)

A judgment set similarity measure based on prime implicants. - Marija Slavkovik 001; Thomas Ågotnes (AAMAS, 2014)

Measuring Dissimilarity between Judgment Sets. - Marija Slavkovik 001; Thomas Ågotnes (JELIA, 2014)

Multi-agency Is Coordination and (Limited) Communication. - Piotr Kazmierczak; Thomas Ågotnes; Wojciech Jamroga (PRIMA, 2014)

Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332). - Thomas Ågotnes; Nils Bulling (Dagstuhl Reports, 2014)

Planning with epistemic goals (Dagstuhl Seminar 14032). - Thomas Ågotnes; Gerhard Lakemeyer; Benedikt Löwe; Bernhard Nebel (Dagstuhl Reports, 2014)

Formal Models of Awareness. - Thomas Ågotnes; Natasha Alechina (J. Log. Lang. Inf., 2014)

A Logic for Reasoning About Knowledge of Unawareness. - Thomas Ågotnes; Natasha Alechina (J. Log. Lang. Inf., 2014)

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII). - João Leite 001; Paolo Torroni; Thomas Ågotnes; Guido Boella; Leendert W. N. van der Torre (J. Log. Comput., 2014)

Logic and Games: an Introduction. - Thomas Ågotnes (Stud Logica, 2014)

Reasoning about reasons behind preferences using modal logic. - Truls Pedersen; Sjur K. Dyrkolbotn; Thomas Ågotnes (Inf. Syst. Frontiers, 2015)

Relativized common knowledge for dynamic epistemic logic. - Yì N. Wáng; Thomas Ågotnes (J. Appl. Log., 2015)

The Undecidability of Quantified Announcements. - Thomas Ågotnes; Hans van Ditmarsch; Timothy Noel French (Stud Logica, 2016)

Towards a Logic of Tweeting. - Zuojun Xiong; Thomas Ågotnes; Jeremy Seligman; Rui Zhu (LORI, 2017)

Resolving distributed knowledge. - Thomas Ågotnes; Yì N. Wáng (Artif. Intell., 2017)

Logic and argumentation. - Thomas Ågotnes; Beishui Liao; Yì N. Wáng (J. Appl. Non Class. Logics, 2018)

True lies. - Thomas Ågotnes; Hans van Ditmarsch; Yanjing Wang 001 (Synth., 2018)

Group Announcement Logic with Distributed Knowledge. - Rustam Galimullin; Thomas Ågotnes; Natasha Alechina (LORI, 2019)

Analyzing Echo Chambers: A Logic of Strong and Weak Ties. - Mina Young Pedersen; Sonja Smets; Thomas Ågotnes (LORI, 2019)

Coalition logic with individual, distributed and common knowledge1. - Thomas Ågotnes; Natasha Alechina (J. Log. Comput., 2019)

Introduction to the special issue. - Thomas Ågotnes; Giacomo Bonanno; Wiebe van der Hoek (J. Log. Comput., 2019)

Further Steps Towards a Logic of Polarization in Social Networks. - Mina Young Pedersen; Sonja Smets; Thomas Ågotnes (CLAR, 2020)

Simpler Completeness Proofs for Modal Logics with Intersection. - Yì N. Wáng; Thomas Ågotnes (DaLí, 2020)

Arbitrary Propositional Network Announcement Logic. - Zuojun Xiong; Thomas Ågotnes (DaLí, 2020)

On the Logic of Balance in Social Networks. - Zuojun Xiong; Thomas Ågotnes (J. Log. Lang. Inf., 2020)

Quantified Announcements and Common Knowledge. - Rustam Galimullin; Thomas Ågotnes (AAMAS, 2021)

Somebody Knows. - Thomas Ågotnes; Yì N. Wáng (KR, 2021)

Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. - Rustam Galimullin; Thomas Ågotnes (LORI, 2021)

Crossing Hands in the Russian Cards Problem. - Tor Hagland; Thomas Ågotnes (LORI, 2021)

Group belief. - Thomas Ågotnes; Yì N. Wáng (J. Log. Comput., 2021)

Reasoning about strategic voting in modal logic quickly becomes undecidable. - Erik Parmann; Thomas Ågotnes (J. Log. Comput., 2021)

Modal Logics and Group Polarization. - Mina Young Pedersen; Sonja Smets; Thomas Ågotnes (J. Log. Comput., 2021)

Action Models for Coalition Logic. - Rustam Galimullin; Thomas Ågotnes (DaLí, 2022)

Cautious Distributed Belief. - John Lindqvist; Fernando R. Velázquez-Quesada; Thomas Ågotnes (DaLí, 2022)

Coalition Logic for Specification and Verification of Smart Contract Upgrades. - Rustam Galimullin; Thomas Ågotnes (PRIMA, 2022)

Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. - Thomas Ågotnes; Natasha Alechina; Rustam Galimullin (J. Log. Lang. Inf., 2022)

A Formal Analysis of Hollis' Paradox. - Thomas Ågotnes; Chiaki Sakama (LORI, 2023)

Quantifying over information change with common knowledge. - Thomas Ågotnes; Rustam Galimullin (Auton. Agents Multi Agent Syst., 2023)

The logic of secrets and the interpolation rule. - Zuojun Xiong; Thomas Ågotnes (Ann. Math. Artif. Intell., 2023)

Correction to: The logic of secrets and the interpolation rule. - Zuojun Xiong; Thomas Ågotnes (Ann. Math. Artif. Intell., 2023)

Towards Resolving Distributed Beliefs. - John Lindqvist; Fernando R. Velázquez-Quesada; Thomas Ågotnes (SEFM, 2024)

Variations on distributed belief. - John Lindqvist; Fernando R. Velázquez-Quesada; Thomas Ågotnes (CoRR, 2024)

The Surprise Exam in Full Modal Fixed-Point Logic. - Yanjun Li; Jie Ren; Thomas Ågotnes (CLAR, 2025)

Anonymous Public Announcements. - Thomas Ågotnes; Rustam Galimullin; Ken Satoh; Satoshi Tojo (CoRR, 2025)