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