Thomas Ågotnes

Available identifiers

zbMath Open agotnes.thomasMaRDI QIDQ542136

List of research outcomes

Publication	Date of Publication	Type
The logic of secrets and the interpolation rule	2023-08-21	Paper
Further Steps Towards a Logic of Polarization in Social Networks	2022-08-30	Paper
Logics with group announcements and distributed knowledge: completeness and expressive power	2022-07-15	Paper
Dynamic coalition logic: granting and revoking dictatorial powers	2022-06-24	Paper
Crossing hands in the Russian cards problem	2022-06-24	Paper
Modal Logics and Group Polarization	2022-01-03	Paper
Arbitrary propositional network announcement logic	2021-12-01	Paper
Reasoning about strategic voting in modal logic quickly becomes undecidable	2021-09-24	Paper
True lies	2021-01-18	Paper
On the logic of balance in social networks	2020-05-27	Paper
Simpler completeness proofs for modal logics with intersection	2020-04-05	Paper
Coalition logic with individual, distributed and common knowledge1	2020-02-13	Paper
Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection	2020-02-04	Paper
Group announcement logic with distributed knowledge	2020-01-30	Paper
Analyzing echo chambers: a logic of strong and weak ties	2020-01-30	Paper
True lies	2019-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q4583952	2018-08-29	Paper
Towards a logic of tweeting	2017-11-22	Paper
The undecidability of quantified announcements	2016-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q3457198	2015-12-11	Paper
Knowledge Games and Coalitional Abilities	2015-05-11	Paper
Completeness and Complexity of Multi-modal CTL	2015-03-23	Paper
A logic for reasoning about knowledge of unawareness	2015-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q2939520	2015-01-22	Paper
Measuring Dissimilarity between Judgment Sets	2015-01-14	Paper
Boolean Games with Epistemic Goals	2013-11-06	Paper
Question–answer games	2012-07-17	Paper
Reasoning about Joint Action and Coalitional Ability in K n with Intersection	2011-09-16	Paper
What will they say? -- Public announcement games	2011-06-08	Paper
Group Announcements: Logic and Games (Abstract of Invited Talk)	2010-08-24	Paper
Group announcement logic	2010-06-11	Paper
Robust normative systems and a logic of norm compliance	2010-04-08	Paper
Constructive knowledge: what agents can achieve under imperfect information	2009-11-30	Paper
Multi-modal CTL: completeness, complexity, and an application	2009-11-16	Paper
Editorial: Logic and intelligent interaction	2009-11-04	Paper
Reasoning about coalitional games	2009-08-20	Paper
Logics for Qualitative Coalitional Games	2009-06-29	Paper
Quantified coalition logic	2009-06-16	Paper
Strongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures	2009-04-28	Paper
A logic of strategic ability under bounded memory	2009-03-24	Paper
A Temporal Logic of Normative Systems	2009-02-05	Paper
Complete Axiomatisations of Properties of Finite Sets	2008-06-27	Paper
The Dynamics of Syntactic Knowledge	2007-05-14	Paper
Action and knowledge in alternating-time temporal logic	2006-08-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Thomas Ågotnes