ex-Facoltà di Scienze MM. FF. NN.
Università degli studi di Padova
Dettaglio Docente

Dettaglio docente

Docente:
ZANARDO ALBERTO
Qualifica:
Professore associato confermato
Struttura:
Dipartimento di Matematica
Telefono:
049 827 1458
Mail:
alberto.zanardo@unipd.it
Sito web:
http://www.math.unipd.it/~azanardo/
SSD:
MAT/01
Ricevimento:

Su appuntamenteo, Dip. MATEMATICA P. A., Stanza 622

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 dell’Azione. 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. 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.
Aggiornata il 15/07/2011 11:06
N. 10674219     dal 20.07.2007