Recent Papers
Studia Logica, 2013, Vol. 101. N. 6, pp.1215-1236.
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.
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.
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.