Thomas Ågotnes

Ann. Math. Artif. Intell., December, 2023

The logic of secrets and the interpolation rule.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., August, 2023

Quantifying over information change with common knowledge.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., June, 2023

A Formal Analysis of Hollis' Paradox.

[BibT_eX]

[DOI]

Chiaki Sakama

Proceedings of the Logic, Rationality, and Interaction - 9th International Workshop, 2023

2022

Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2022

Coalition Logic for Specification and Verification of Smart Contract Upgrades.

[BibT_eX]

[DOI]

Fernando R. Velázquez-Quesada

Proceedings of the PRIMA 2022: Principles and Practice of Multi-Agent Systems, 2022

Cautious Distributed Belief.

[BibT_eX]

[DOI]

John Lindqvist

Proceedings of the Dynamic Logic. New Trends and Applications - 4th International Workshop, 2022

Action Models for Coalition Logic.

[BibT_eX]

[DOI]

Proceedings of the Dynamic Logic. New Trends and Applications - 4th International Workshop, 2022

2021

Modal Logics and Group Polarization.

[BibT_eX]

[DOI]

Mina Young Pedersen

Sonja Smets

J. Log. Comput., 2021

Reasoning about strategic voting in modal logic quickly becomes undecidable.

[BibT_eX]

[DOI]

Erik Parmann

J. Log. Comput., 2021

Group belief.

[BibT_eX]

[DOI]

J. Log. Comput., 2021

Crossing Hands in the Russian Cards Problem.

[BibT_eX]

[DOI]

Tor Hagland

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

Somebody Knows.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Quantified Announcements and Common Knowledge.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

On the Logic of Balance in Social Networks.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2020

Arbitrary Propositional Network Announcement Logic.

[BibT_eX]

[DOI]

Proceedings of the Dynamic Logic. New Trends and Applications, 2020

Simpler Completeness Proofs for Modal Logics with Intersection.

[BibT_eX]

[DOI]

Proceedings of the Dynamic Logic. New Trends and Applications, 2020

Further Steps Towards a Logic of Polarization in Social Networks.

[BibT_eX]

[DOI]

Mina Young Pedersen

Sonja Smets

Proceedings of the Logic and Argumentation - Third International Conference, 2020

2019

Coalition logic with individual, distributed and common knowledge1.

[BibT_eX]

[DOI]

J. Log. Comput., 2019

Analyzing Echo Chambers: A Logic of Strong and Weak Ties.

[BibT_eX]

[DOI]

Mina Young Pedersen

Sonja Smets

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

Group Announcement Logic with Distributed Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

2018

True lies.

[BibT_eX]

[DOI]

Yanjing Wang

Synth., 2018

Logic and argumentation.

[BibT_eX]

[DOI]

Beishui Liao

J. Appl. Non Class. Logics, 2018

2017

Resolving distributed knowledge.

[BibT_eX]

[DOI]

Artif. Intell., 2017

Towards a Logic of Tweeting.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2016

Introduction to the special issue.

[BibT_eX]

[DOI]

Giacomo Bonanno

Synth., 2016

The Undecidability of Quantified Announcements.

[BibT_eX]

[DOI]

Timothy Noel French

Stud Logica, 2016

2015

Relativized common knowledge for dynamic epistemic logic.

[BibT_eX]

[DOI]

J. Appl. Log., 2015

Reasoning about reasons behind preferences using modal logic.

[BibT_eX]

[DOI]

Truls Pedersen

Sjur K. Dyrkolbotn

Inf. Syst. Frontiers, 2015

2014

Logic and Games: an Introduction.

[BibT_eX]

[DOI]

Leendert W. N. van der Torre

Stud Logica, 2014

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII).

[BibT_eX]

[DOI]

J. Log. Comput., 2014

A Logic for Reasoning About Knowledge of Unawareness.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2014

Formal Models of Awareness.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2014

Planning with epistemic goals (Dagstuhl Seminar 14032).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2014

Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332).

[BibT_eX]

[DOI]

Nils Bulling

Dagstuhl Reports, 2014

Multi-agency Is Coordination and (Limited) Communication.

[BibT_eX]

[DOI]

Piotr Kazmierczak

Proceedings of the PRIMA 2014: Principles and Practice of Multi-Agent Systems, 2014

Measuring Dissimilarity between Judgment Sets.

[BibT_eX]

[DOI]

Marija Slavkovik

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

A judgment set similarity measure based on prime implicants.

[BibT_eX]

[DOI]

Marija Slavkovik

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

The undecidability of group announcements.

[BibT_eX]

[DOI]

Tim French

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Knowledge Games and Coalitional Abilities.

[BibT_eX]

[DOI]

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

Public announcement logic with distributed knowledge: expressivity, completeness and complexity.

[BibT_eX]

[DOI]

Synth., 2013

Public Announcements, Private Actions and Common Knowledge in S5 Structures.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Boolean Games with Epistemic Goals.

[BibT_eX]

[DOI]

Paul Harrenstein

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Multi-Agent Subset Space Logic.

[BibT_eX]

[DOI]

Yi Nicholas Wang

Proceedings of the IJCAI 2013, 2013

Verifiable Equilibria in Boolean Games.

[BibT_eX]

[DOI]

Paul Harrenstein

Proceedings of the IJCAI 2013, 2013

Subset Space Public Announcement Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

Preference Logic of Focus Change: A Semantic Approach.

[BibT_eX]

[DOI]

Proceedings of the Agreement Technologies - Second International Conference, 2013

Reasonably Rational: Reasoning about Reasons Behind Preferences Using Modal Logic.

[BibT_eX]

[DOI]

Truls Pedersen

Sjur K. Dyrkolbotn

Proceedings of the Agreement Technologies - Second International Conference, 2013

2012

NORMC: a Norm Compliance Temporal Logic Model Checker.

[BibT_eX]

[DOI]

Piotr Kazmierczak

Truls Pedersen

Proceedings of the STAIRS 2012, 2012

Coalitional Public Announcement Games.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2012: Principles and Practice of Multi-Agent Systems, 2012

Conservative Social Laws.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Epistemic coalition logic: completeness and complexity.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

What will they say? - Public Announcement Games.

[BibT_eX]

[DOI]

Synth., 2011

Question-answer games.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2011

Completeness of Epistemic Coalition Logic with Group Knowledge

[BibT_eX]

[DOI]

CoRR, 2011

On the logic of preference and judgment aggregation.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2011

Coordinating multi-agent systems using social laws.

[BibT_eX]

[DOI]

Proceedings of the Eleventh Scandinavian Conference on Artificial Intelligence, 2011

Public Announcement Logic with Distributed Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

Reasoning about Joint Action and Coalitional Ability in K n with Intersection.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Scientia potentia est.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

Group announcement logic.

[BibT_eX]

[DOI]

J. Appl. Log., 2010

Robust normative systems and a logic of norm compliance.

[BibT_eX]

[DOI]

Log. J. IGPL, 2010

Group Announcements: Logic and Games (Abstract of Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

Optimal social laws.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

Logic and intelligent interaction.

[BibT_eX]

[DOI]

Johan van Benthem

Eric Pacuit

Synth., 2009

Multi-Modal CTL: Completeness, Complexity, and an Application.

[BibT_eX]

[DOI]

Juan A. Rodríguez-Aguilar

Carles Sierra

Stud Logica, 2009

A Logic of Strategic Ability Under Bounded Memory.

[BibT_eX]

[DOI]

Dirk Walther

J. Log. Lang. Inf., 2009

Editorial.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2009

Logics for Qualitative Coalitional Games.

[BibT_eX]

[DOI]

Log. J. IGPL, 2009

Reasoning about coalitional games.

[BibT_eX]

[DOI]

Artif. Intell., 2009

Robust Normative Systems.

[BibT_eX]

[DOI]

Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

Power in normative systems.

[BibT_eX]

[DOI]

Moshe Tennenholtz

Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

A Temporal Logic of Normative Systems.

[BibT_eX]

[DOI]

Juan A. Rodríguez-Aguilar

Carles Sierra

Proceedings of the Towards Mathematical Philosophy, 2009

2008

Quantified coalition logic.

[BibT_eX]

[DOI]

Synth., 2008

Complete Axiomatisations of Properties of Finite Sets.

[BibT_eX]

[DOI]

Log. J. IGPL, 2008

Quantifying over coalitions in epistemic logic.

[BibT_eX]

[DOI]

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Coalitions and announcements.

[BibT_eX]

[DOI]

Hans P. van Ditmarsch

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007

The Dynamics of Syntactic Knowledge.

[BibT_eX]

[DOI]

J. Log. Comput., 2007

Constructive knowledge: what agents can achieve under imperfect information.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2007

Completeness and Complexity of Multi-modal CTL.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Methods for Modalities, 2007

Alternating-time temporal logics with irrevocable strategies.

[BibT_eX]

[DOI]

Valentin Goranko

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness.

[BibT_eX]

[DOI]

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

On the Logic of Normative Systems.

[BibT_eX]

[DOI]

Juan A. Rodríguez-Aguilar

Carles Sierra

Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

Modular interpreted systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Normative system games.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Reasoning about judgment and preference aggregation.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Logic for Automated Mechanism Design - A Progress Report.

[BibT_eX]

[DOI]

Paul E. Dunne

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Action and Knowledge in Alternating-Time Temporal Logic.

[BibT_eX]

[DOI]

Synth., 2006

Semantics for Dynamic Syntactic Epistemic Logics.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

Knowing Minimum/Maximum n Formulae.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

What agents can achieve under incomplete information.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Temporal qualitative coalitional games.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

On the logic of coalitional games.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

Complete Axiomatizations of Finite Syntactic Epistemic States.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies III, 2005

Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

A logic of reasoning, communication and cooperation with syntactic knowledge.

[BibT_eX]

[DOI]

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

1999

Taming Large Rule Models in Rough Set Approaches.

[BibT_eX]

[DOI]