Content: BIBLIOSortPubli: byDateAsc
Publityp: ALL
Filter Corrresp: ALL
PubliLang: ALL
Decade: ALL
Thomas Ågotnes
BibliographyBiographyWork & ideasLiteratureCORRESPALLBOOKSBOOKEDARTJRNLBYTITLECHRONOANTICHRONO
(2006) "Action and knowledge in alternating-time temporal logic", Synthese 149 (2), pp.375-407.- with van der Hoek Wiebe, Wooldridge Michael (2008) "Quantified coalition logic", Synthese 165 (2), pp.269-294.
- with van der Hoek Wiebe, Rodríguez-Aguilar Juan A., Sierra Carles, Wooldridge Michael (2009) "A temporal logic of normative systems", in: Makinson David; Malinowski Jacek; Wansing Heinrich (ed), Towards mathematical philosophy: papers from the Studia logica conference Trends in logic IV, Dordrecht, Springer, pp.69-106.
with van Benthem Johan, Pacuit Eric (2009) Synthese 169 (2).- with van Benthem Johan, Pacuit Eric (2009) "Logic and intelligent interaction", Synthese 169 (2), pp.219-221.
- with van der Hoek Wiebe, Bonanno Giacomo (2016) "Introduction to the special issue", Synthese 193 (3), pp.659-662.
- with Bonanno Giacomo, van der Hoek Wiebe (2016) Synthese 193 (3).
- with van Ditmarsch Hans, Wang Yanjing (2018) "True lies", Synthese 195 (10), pp.4581-4615.