Ågotnes, Thomas; van Ditmarsch, Hans; Wang, Yanjing True lies. (English) Zbl 1452.03048 Synthese 195, No. 10, 4581-4615 (2018). MSC: 03B42 03A05 PDFBibTeX XMLCite \textit{T. Ågotnes} et al., Synthese 195, No. 10, 4581--4615 (2018; Zbl 1452.03048) Full Text: DOI arXiv
Ågotnes, Thomas (ed.); Bonanno, Giacomo (ed.); van der Hoek, Wiebe (ed.) Introduction to the special issue. (English) Zbl 1357.00039 Synthese 193, No. 3, 659-662 (2016). MSC: 00B25 91-06 91Axx PDFBibTeX XMLCite \textit{T. Ågotnes} (ed.) et al., Synthese 193, No. 3, 659--662 (2016; Zbl 1357.00039) Full Text: DOI
Wáng, Yì N.; Ågotnes, Thomas Public announcement logic with distributed knowledge: expressivity, completeness and complexity. (English) Zbl 1310.03030 Synthese 190, Suppl. 1, 135-162 (2013). MSC: 03B42 PDFBibTeX XMLCite \textit{Y. N. Wáng} and \textit{T. Ågotnes}, Synthese 190, 135--162 (2013; Zbl 1310.03030) Full Text: DOI
Ågotnes, Thomas; van Ditmarsch, Hans What will they say? – Public announcement games. (English) Zbl 1222.03021 Synthese 179, Suppl. 1, 57-85 (2011). Reviewer: David Makinson (London) MSC: 03B42 68T27 91A80 PDFBibTeX XMLCite \textit{T. Ågotnes} and \textit{H. van Ditmarsch}, Synthese 179, 57--85 (2011; Zbl 1222.03021) Full Text: DOI
Ågotnes, Thomas; van Benthem, Johan; Pacuit, Eric Editorial: Logic and intelligent interaction. (English) Zbl 1177.03004 Synthese 169, No. 2, 219-221 (2009). MSC: 03-02 03A05 03B42 68T27 PDFBibTeX XMLCite \textit{T. Ågotnes} et al., Synthese 169, No. 2, 219--221 (2009; Zbl 1177.03004) Full Text: DOI
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael Quantified coalition logic. (English) Zbl 1169.03020 Synthese 165, No. 2, 269-294 (2008). MSC: 03B60 68Q60 68T27 91A12 91B14 PDFBibTeX XMLCite \textit{T. Ågotnes} et al., Synthese 165, No. 2, 269--294 (2008; Zbl 1169.03020) Full Text: DOI
Ågotnes, Thomas Action and knowledge in alternating-time temporal logic. (English) Zbl 1107.03013 Synthese 149, No. 2, 375-407 (2006). Reviewer: Bernhard Heinemann (Hagen) MSC: 03B44 03B42 PDFBibTeX XMLCite \textit{T. Ågotnes}, Synthese 149, No. 2, 375--407 (2006; Zbl 1107.03013) Full Text: DOI