Alberto Zanardo - University of Padua

Alberto Zanardo

Associate Professor in Mathematical Logic - University of Padova

Foto

Didattica

Metodo Assiomatico e Teoria degli insiemi, a.a. 2013/14 - Parte seconda

Fondamenti della Matematica, a.a. 2013/14 - Parte prima

Matematica per CH, CI, MT a.a. 2013/2014

Research Interests

Modal and Temporal logics

Branching-time logics

Fibring of logics

Math Education

Foundations and axiomatizations of scientific theories

Contact

University of Padua

Dept. of Mathematics

Via Trieste, 63 - 35121 Padova

Tel: + 39 049 827 1458

Fax: + 39 049 827 1479

azanardo@math.unipd.it

Recent Papers

Indistinguishability, Choices, and Logics of Agency,

Studia Logica, 2013, Vol. 101. N. 6, pp.1215-1236.

Completeness of a Branching-Time Logic with Possible Choices,

Studia Logica, 2010, Vol. 96. N. 3, pp.393-420. 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.