\"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: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Universidade de São Paulo
2004
|
| Subjects: | |
| Online Access: | http://www.teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/ |