\"Combinações de lógicas modais não-normais\"
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...
Main Author: | Rogerio Augusto dos Santos Fajardo |
---|---|
Other Authors: | Marcelo Finger |
Language: | Portuguese |
Published: |
Universidade de São Paulo
2004
|
Subjects: | |
Online Access: | http://www.teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/ |
Similar Items
-
\"Combinações de lógicas modais não-normais\"
by: Fajardo, Rogerio Augusto dos Santos
Published: (2004) -
Aspectos da teoria de funções modais
by: Pedro Alonso Amaral Falcão
Published: (2012) -
Aspectos da teoria de funções modais
by: Falcão, Pedro Alonso Amaral
Published: (2012) -
Introdução à Lógica Modal.
by: Bruno Costa Coscarelli
Published: (2009) -
Introdução à Lógica Modal.
by: Coscarelli, Bruno Costa
Published: (2009)