"Combinations of non-normal modal logics" / "Combinações de lógicas modais não-normais"

AUTOR(ES)

Rogerio Augusto dos Santos Fajardo

DATA DE PUBLICAÇÃO

2004

RESUMO

Neste trabalho, estudamos algumas formas de combinar sistemas de Lógica Modal, analisando quando a combinação preserva propriedades como correção, completude e decidibilidade. Estendemos um estudo já realizado sobre combinações de sistemas de Lógica Modal Normal para sistemas de Lógica Modal Não-normal. O principal resultado deste trabalho é a preservação de completude da aplicação externa de um sistema de Lógica Modal Não-normal M em um sistema lógico L. Outro resultado importante é um exemplo de interação forte na combinação independente, ou fusão, de dois sistemas de Lógica Modal Não-normal.

ASSUNTO(S)

completeness completude lógica modal modal logic decidability decidibilidade logic lógica

Documentos Relacionados

• Agrupamento de MÃdias via Bootstrap para populaÃÃes normais e nÃo normais
• Statistics from the inside. 12. Non-normal data.
• MIXTURE EXPERIMENTS: AN APPLICATION WITH NONNORMAL RESPONSES
• Algebraic semantics for modal logics and its philosophical interest
• Comparação dos índices de capacidade do processo para distribuições não-normais