×

zbMATH — the first resource for mathematics

Ågotnes, Thomas

Compute Distance To:
Author ID: agotnes.thomas Recent zbMATH articles by "Ågotnes, Thomas"
Published as: Ågotnes, T.; Ågotnes, Thomas
Documents Indexed: 50 Publications since 2006, including 4 Books

Publications by Year

Citations contained in zbMATH

29 Publications have been cited 138 times in 101 Documents Cited by Year
Constructive knowledge: what agents can achieve under imperfect information. Zbl 1186.03031
Jamroga, Wojciech; Ågotnes, Thomas
21
2007
Group announcement logic. Zbl 1200.03015
Ågotnes, Thomas; Balbiani, Philippe; Van Ditmarsch, Hans; Seban, Pablo
16
2010
Reasoning about coalitional games. Zbl 1180.68271
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
16
2009
The dynamics of syntactic knowledge. Zbl 1118.03008
Ågotnes, Thomas; Alechina, Natasha
13
2007
Action and knowledge in alternating-time temporal logic. Zbl 1107.03013
Ågotnes, Thomas
8
2006
What will they say? – Public announcement games. Zbl 1222.03021
Ågotnes, Thomas; van Ditmarsch, Hans
7
2011
Robust normative systems and a logic of norm compliance. Zbl 1198.68232
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
6
2010
Quantified coalition logic. Zbl 1169.03020
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
6
2008
A logic for reasoning about knowledge of unawareness. Zbl 1311.03032
Ågotnes, Thomas; Alechina, Natasha
5
2014
Question-answer games. Zbl 1242.91032
Ågotnes, Thomas; van Benthem, Johan; van Ditmarsch, Hans; Minică, Ştefan
4
2011
A temporal logic of normative systems. Zbl 1156.03017
Ågotnes, Thomas; van der Hoek, Wiebe; Rodríguez-Aguilar, Juan A.; Sierra, Carles; Wooldridge, Michael
4
2009
Boolean games with epistemic goals. Zbl 1407.03016
Ågotnes, Thomas; Harrenstein, Paul; van der Hoek, Wiebe; Wooldridge, Michael
3
2013
Reasoning about joint action and coalitional ability in \(K _{n }\) with intersection. Zbl 1348.68251
Ågotnes, Thomas; Alechina, Natasha
3
2011
Logics for qualitative coalitional games. Zbl 1171.03008
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
3
2009
Towards a logic of tweeting. Zbl 06810772
Xiong, Zuojun; Ågotnes, Thomas; Seligman, Jeremy; Zhu, Rui
2
2017
The undecidability of quantified announcements. Zbl 1368.03021
Ågotnes, T.; van Ditmarsch, H.; French, T.
2
2016
Measuring dissimilarity between judgment sets. Zbl 1432.68451
Slavkovik, Marija; Ågotnes, Thomas
2
2014
Public announcement logic with distributed knowledge: expressivity, completeness and complexity. Zbl 1310.03030
Wáng, Yì N.; Ågotnes, Thomas
2
2013
Subset space public announcement logic. Zbl 1303.03046
Wáng, Yì N.; Ågotnes, Thomas
2
2013
Completeness and complexity of multi-modal CTL. Zbl 1347.03028
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
2
2009
A logic of strategic ability under bounded memory. Zbl 1163.68037
Ågotnes, Thomas; Walther, Dirk
2
2009
Strongly complete axiomatizations of “knowing at most” in syntactic structures. Zbl 1235.03048
Ågotnes, Thomas; Walicki, Michal
2
2006
Coalition logic with individual, distributed and common knowledge. Zbl 1444.03021
Ågotnes, Thomas; Alechina, Natasha
1
2019
Analyzing echo chambers: a logic of strong and weak ties. Zbl 07160610
Pedersen, Mina Young; Smets, Sonja; Ågotnes, Thomas
1
2019
Resolving distributed knowledge. Zbl 1419.68103
Ågotnes, Thomas; Wáng, Yì N.
1
2017
Relativized common knowledge for dynamic epistemic logic. Zbl 1378.03015
Wáng, Yì N.; Ågotnes, Thomas
1
2015
Deontic logic in computer science. 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. Zbl 1250.03001
Ågotnes, Thomas (ed.); Broersen, Jan (ed.); Elgesem, Dag (ed.)
1
2012
Public announcement logic with distributed knowledge. Zbl 1298.03061
Wáng, Yì N.; Ågotnes, Thomas
1
2011
Multi-modal CTL: completeness, complexity, and an application. Zbl 1185.03023
Ågotnes, Thomas; van der Hoek, Wiebe; Rodríguez-Aguilar, Juan A.; Sierra, Carles; Wooldridge, Michael
1
2009
Coalition logic with individual, distributed and common knowledge. Zbl 1444.03021
Ågotnes, Thomas; Alechina, Natasha
1
2019
Analyzing echo chambers: a logic of strong and weak ties. Zbl 07160610
Pedersen, Mina Young; Smets, Sonja; Ågotnes, Thomas
1
2019
Towards a logic of tweeting. Zbl 06810772
Xiong, Zuojun; Ågotnes, Thomas; Seligman, Jeremy; Zhu, Rui
2
2017
Resolving distributed knowledge. Zbl 1419.68103
Ågotnes, Thomas; Wáng, Yì N.
1
2017
The undecidability of quantified announcements. Zbl 1368.03021
Ågotnes, T.; van Ditmarsch, H.; French, T.
2
2016
Relativized common knowledge for dynamic epistemic logic. Zbl 1378.03015
Wáng, Yì N.; Ågotnes, Thomas
1
2015
A logic for reasoning about knowledge of unawareness. Zbl 1311.03032
Ågotnes, Thomas; Alechina, Natasha
5
2014
Measuring dissimilarity between judgment sets. Zbl 1432.68451
Slavkovik, Marija; Ågotnes, Thomas
2
2014
Boolean games with epistemic goals. Zbl 1407.03016
Ågotnes, Thomas; Harrenstein, Paul; van der Hoek, Wiebe; Wooldridge, Michael
3
2013
Public announcement logic with distributed knowledge: expressivity, completeness and complexity. Zbl 1310.03030
Wáng, Yì N.; Ågotnes, Thomas
2
2013
Subset space public announcement logic. Zbl 1303.03046
Wáng, Yì N.; Ågotnes, Thomas
2
2013
Deontic logic in computer science. 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. Zbl 1250.03001
Ågotnes, Thomas (ed.); Broersen, Jan (ed.); Elgesem, Dag (ed.)
1
2012
What will they say? – Public announcement games. Zbl 1222.03021
Ågotnes, Thomas; van Ditmarsch, Hans
7
2011
Question-answer games. Zbl 1242.91032
Ågotnes, Thomas; van Benthem, Johan; van Ditmarsch, Hans; Minică, Ştefan
4
2011
Reasoning about joint action and coalitional ability in \(K _{n }\) with intersection. Zbl 1348.68251
Ågotnes, Thomas; Alechina, Natasha
3
2011
Public announcement logic with distributed knowledge. Zbl 1298.03061
Wáng, Yì N.; Ågotnes, Thomas
1
2011
Group announcement logic. Zbl 1200.03015
Ågotnes, Thomas; Balbiani, Philippe; Van Ditmarsch, Hans; Seban, Pablo
16
2010
Robust normative systems and a logic of norm compliance. Zbl 1198.68232
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
6
2010
Reasoning about coalitional games. Zbl 1180.68271
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
16
2009
A temporal logic of normative systems. Zbl 1156.03017
Ågotnes, Thomas; van der Hoek, Wiebe; Rodríguez-Aguilar, Juan A.; Sierra, Carles; Wooldridge, Michael
4
2009
Logics for qualitative coalitional games. Zbl 1171.03008
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
3
2009
Completeness and complexity of multi-modal CTL. Zbl 1347.03028
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
2
2009
A logic of strategic ability under bounded memory. Zbl 1163.68037
Ågotnes, Thomas; Walther, Dirk
2
2009
Multi-modal CTL: completeness, complexity, and an application. Zbl 1185.03023
Ågotnes, Thomas; van der Hoek, Wiebe; Rodríguez-Aguilar, Juan A.; Sierra, Carles; Wooldridge, Michael
1
2009
Quantified coalition logic. Zbl 1169.03020
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
6
2008
Constructive knowledge: what agents can achieve under imperfect information. Zbl 1186.03031
Jamroga, Wojciech; Ågotnes, Thomas
21
2007
The dynamics of syntactic knowledge. Zbl 1118.03008
Ågotnes, Thomas; Alechina, Natasha
13
2007
Action and knowledge in alternating-time temporal logic. Zbl 1107.03013
Ågotnes, Thomas
8
2006
Strongly complete axiomatizations of “knowing at most” in syntactic structures. Zbl 1235.03048
Ågotnes, Thomas; Walicki, Michal
2
2006
all top 5

Cited by 144 Authors

14 Ågotnes, Thomas
10 van Ditmarsch, Hans Pieter
7 Wooldridge, Michael J.
6 Pacuit, Eric
6 van der Hoek, Wiebe
5 Alechina, Natasha
5 Jamroga, Wojciech
5 Lorini, Emiliano
4 Balbiani, Philippe
4 French, Tim
4 Greco, Gianluigi
4 Logan, Brian
4 Naumov, Pavel G.
3 Lang, Jérôme
3 Scarcello, Francesco
3 van Benthem, Johan F. A. K.
3 Velázquez-Quesada, Fernando Raymundo
3 Wang, Yinan
2 Bulling, Nils
2 Chen, Qingliang
2 Dastani, Mehdi M.
2 Dima, Cătălin
2 Dix, Jurgen
2 Dunne, Paul E.
2 Guelev, Dimitar P.
2 Hamami, Yacin
2 Kuijer, Louwe Bouke
2 Kurzen, Lena
2 Malizia, Enrico
2 McCabe-Dansted, John Christopher
2 Palopoli, Luigi
2 Rakib, Abdur
2 Reynolds, Mark Alexander
2 Schwarzentruber, François
2 Seban, Pablo
2 Slavkovik, Marija
2 Su, Kaile
2 Tao, Jia
2 Verbrugge, Rineke
1 Achen, Andreas
1 Attamah, Maduka
1 Aucher, Guillaume
1 Belardinelli, Francesco
1 Bezem, Marc
1 Bonzon, Elise
1 Busard, Simon
1 Calta, Jan
1 Cao, Rui
1 Chalkiadakis, Georgios
1 Chen, Aixiang
1 Chen, Taolue
1 Ciardelli, Ivano A.
1 De Clercq, Sofie
1 De Cock, Martine
1 de Haan, Ronald
1 de Lima, Tiago
1 Dégremont, Cédric
1 Dixon, Clare
1 Endriss, Ulle
1 Enea, Constantin
1 Fan, Jie
1 Fan, Xiaocong
1 Fernández Duque, David
1 Fervari, Raul
1 Ghosh, Sujata
1 Giordani, Alessandro
1 Grossi, Davide
1 Gutierrez, Julian
1 Heinemann, Bernhard
1 Herzig, Andreas
1 Horty, John F.
1 Hoshi, Tomohiro
1 Hu, Guiwu
1 Hu, Yong
1 Hughes, Jesse
1 Ianovski, Egor
1 Jago, Mark
1 Kerber, Manfred
1 Knight, Sophia
1 Kooi, Barteld Pieter
1 Kraus, Sarit
1 Kwiatkowska, Marta Z.
1 Lagasquie-Schiex, Marie-Christine
1 Lange, Christoph
1 Liberman, Andrés Occhipinti
1 Liu, Hu
1 Lomuscio, Alessio
1 Löwe, Benedikt
1 Luo, Xiangyu
1 Lupia, Francesco
1 Ma, Minghui
1 Malvone, Vadim
1 Manisterski, Efrat
1 Marchioni, Enrico
1 Markakis, Evangelos
1 Meijering, Ben
1 Minică, Ştefan
1 Modica, Salvatore
1 Morrison, Colby
1 Murano, Aniello
...and 44 more Authors

Citations by Year