Presentazione

Dettaglio Docente

ZANARDO ALBERTO

Professore associato confermato

Dipartimento di Matematica

049 827 1458

alberto.zanardo@unipd.it

http://www.math.unipd.it/~azanardo/

MAT/01

Curriculum Scientifico

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 dellAzione. Si interessa anche di Didattica della Matematica.

Pubblicazioni più Rilevanti

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. Braner, P. Hasle, and P. hrstrm. 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.