Creating and sharing knowledge for telecommunications

The mosaic method for combinations of tense and modalities

on 09-12-2011


Marco Volpe (SQIG - IT).

December 9, 2011, Friday, 16h15m.

Abstract: In this talk, I will present an extension of the mosaic method to the case of logics arising from the combination of linear tense operators with an "orthogonal" S5-like modality. The technique will be applied to obtain a proof of decidability, a proof of completeness for the corresponding Hilbert-style axiomatization and to develop a mosaic-based tableau system. (From a joint work with Carlos Caleiro and Luca Viganò.)

Room: 3.10, Mathematics

Support: SQIG/Instituto de Telecomunicações with support from FCT and FEDER namely by the FCT project PEst-OE/EEI/LA0008/2011.

More Information..