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

|
|
Didattica:
Top
Scientific interests:
Modal and Temporal logics.
Branching-time
logics.
Fibring
of
logics.
Math. Education.
Foundations
and axiomatizations of scientific theories.
Top
Recent
papers:
-
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.
Top