\Combinations of non-normal modal logics\

Author(s)

Rogerio Augusto dos Santos Fajardo

• Document type: Master's Dissertation
• Press: São Paulo.
• Institution: Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME/SBI)
• Defense date: 2004-08-13

Examining board members

Marcelo Finger; Mario Roberto Folhadela Benevides; Maria Angela Weiss

• Advisor: Marcelo Finger

Abstract

In this work, we study a few ways of combining Modal Logic systems, analysing when the combination preserves properties like soundness, completeness and decidability. We extend a study of the combination of Normal Modal Logic systems to Non-normal Modal Logic systems. The main result of this work is the completeness preservation in the external application of a Non-normal Modal Logic system M to a logic system L. Another important result is an example of strong interations arising in the fusion of two Non-normal Modal Logic system. (AU)

• FAPESP's process: 02/10369-7 - Combinações de lógicas modais não-normais
• Grantee: Rogerio Augusto dos Santos Fajardo
• Support Opportunities: Scholarships in Brazil - Master