Sérgio Marcelino

Dep. Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa, Portugal

SQIG, Instituto de Telecomunicações, Lisboa, Portugal

Department of Informatics, King's College London

E-mail: sergiortm at gmail . com

Academic Bio

I am a member of the SQIG, previously Center for Logic and Computation, since March 2006.

I graduated in Applied Mathematics and Computation (LMAC) at IST (UTL,Lisboa) in July 2006. My diploma thesis Applications of supported quantales to modal logic was supervised by Pedro Resende

Between 2007 and 2011 I have been a Phd student at King's College London under the supervision of Dov Gabbay and Agi Kurucz. During this period I was also a teaching assistant on Foundations of Computing I and Computer Science Logic.

In 2011 I successfully defended my Phd thesis titled Modal logic for changing systems.

Since February of 2012 I am a postdoc under the supervision of Carlos Caleiro and Agi Kurucz with a postdoctoral grant from FCT.


Finite frames for K4.3xS5 are decidable, with Agi Kurucz, submited.

Global view on reactivity: switch graphs and their logics, with Dov Gabbay, submited.

Non-finitely axiomatisable two-dimensional logics, with Agi Kurucz, accepted at the Journal of Symbolic Logic.

Modal logics of reactive frames, with D. M. Gabbay, Studia Logica, 2009.

An algebraic generalization of Kripke structures, with P. Resende, Mathematical Proceedings of the Cambridge Philosophical Society, 145 : 549-577, 2008.