University of Padova: People: Matematica Pura ed App.

ALBERTO ZANARDO

Name : Alberto Zanardo
Title : Associate Professor
Subject : Mathematical Logic
University : Padova
Department : Matematica Pura ed Applicata
Address : Via Trieste, 63
City : 35121 Padova
Telephone : + 39 049 827 1458
Fax : + 39 049 827 1479
e-mail : azanardo@math.unipd.it

Didattica
Scientific interests
Recent papers

Didattica:

Matematica Classica 1 a.a. 2009/10 - Parte seconda

Matematica con Elementi di Informatica a.a. 2009/10

Matematica con Elementi di Informatica a.a. 2008/09

S.S.I.S.

Top

Scientific interests:

Modal and Temporal logics.
Branching- time logics.
Fibring of logics.
Non-monotonic logics.
Foundations and axiomatizations of scientific theories.

Top

Recent papers:

Completeness of a Branching-Time Logic with Possible Choices, submitted for publication. Written jointly with Roberto Ciuni.
Modalities in Temporal Logic, Humana.mente (2009), Vol.8: 1-15. Special issue on Models of Time, edited by Roberto Ciuni.
· From linear to branching-time temporal logics: transfer of semantics and definability, Logic J. of the IGPL, 2007 15: 53-76. Written jointly with Valentin Goranko.
· 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.
· 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.
· Branching-Time as a Relative Closeness Relation among Histories, in R. Asatiani, K. Balogh, G. Chikoidze, P. Dekker and D. de Jongh (eds.), Proceedings of The Fifth Tbilisi Symposium on Language, Logic and Computation, October 6-10, 2003, ILLC, University of Amsterdam, CLLS, Tbilisi State University, 2004, pp. 11-18.
· Preservation of interpolation by Fibring, In W. A. Carnielli, F. M. Dionísio, and P. Mateus, editors, Proceedings of CombLog'04, Workshop on Combination of Logics: Theory and Applications, pages 151-157, Lisboa, Portugal, 2004. Departamento de Matemática, Instituto Superior Técnico. Extended abstract. Written jointly with Walter Carnielli and Cristina Sernadas .
· Combining Linear Orders with Modalities for Possible Histories , In W. A. Carnielli, F. M. Dionísio, and P. Mateus, editors, Proceedings of CombLog'04, Workshop on Combination of Logics: Theory and Applications , pages 197-202, Lisboa, Portugal, 2004. Departamento de Matemática, Instituto Superior Técnico. Extended abstract. Written jointly with Valentin Goranko .
· Topological Aspects of Branching-Time Semantics , Studia Logica, Vol.75, 2003, pp.271-286. Written jointly with Michela Sabbadin.

Top

Recent papers:

Completeness of a Branching-Time Logic with Possible Choices, submitted for publication. Written jointly with Roberto Ciuni.

Modalities in Temporal Logic, Humana.mente (2009), Vol.8: 1-15. Special issue on Models of Time, edited by Roberto Ciuni.

· From linear to branching-time temporal logics: transfer of semantics and definability, Logic J. of the IGPL, 2007 15: 53-76. Written jointly with Valentin Goranko.

· 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.

· 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.

· Topological Aspects of Branching-Time Semantics , Studia Logica, Vol.75, 2003, pp.271-286. Written jointly with Michela Sabbadin.

Back to Faculty page