Si è interessato principalmente di Logica Matematica ed in particolare di Logiche Modali e Temporali (in cui compaiono, oltre agli usuali operatori logici, anche operatori come: “Sarà vero …” ed “E’ stato vero …”). Recentemente ha studiato applicazioni delle logiche temporali alle Logiche dell’Azione. Si interessa anche di Didattica della Matematica.
ROBERTO CIUNI, ALBERTO ZANARDO, Completeness of a Branching-Time Logic with Possible Choices, Studia Logica, 2010, Vol. 96. N. 3, pp.393-420.
ALBERTO ZANARDO, Modalities in Temporal Logic, Humana.mente (2009), Vol.8: 1-15. Special issue on Models of Time, edited by Roberto Ciuni.
VALENTIN GORANKO, ALBERTO ZANARDO, From linear to branching-time temporal logics: transfer of semantics and definability, Logic J. of the IGPL, 2007 15: 53-76.
ALBERTO ZANARDO, Moment/History Duality in Prior\'s Logics of Branching-Time, Synthese (2006), 150-3: 483-507, Special Issue The Logic of Time and Modality. Edited by T. Braüner, P. Hasle, and P. Øhrstrøm.
ALBERTO ZANARDO, Quantification over Sets of Possible Worlds in Branching-Time Semantics, Studia Logica (2006), 82-3: 379-400. Special Issue Ways of Worlds I. On Possible Worlds and Related Notions. Edited by V. F. Hendricks and S. A. Pedersen.