Creating and sharing knowledge for telecommunications

Importing logics: Soundness and completeness preservation.

on 20-01-2012


January 20, 2012, Friday, 16h15m.

Abstract: Importing subsumes several asymmetric ways of combining logics, including modalization and temporalization. A calculus is provided for importing, inheriting the axioms and rules from the given logics and including additional rules for lifting derivations from the imported logic. The calculus is shown to be sound and concretely complete with respect to the semantics of importing. Joint work with Amílcar Sernadas and Cristina Sernadas.

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