On Graphical Calculi for Modal Logics

##plugins.themes.bootstrap3.article.main##

Paulo A. S. Veloso Sheila R. M. Veloso

Resumo

Cálculos Gráficos para lógicas modais


Apresentamos uma abordagem gráfica para as lógicas modais clássica e intuicionista, capaz de fornecer formalismos uniformes para expressar, analisar e comparar suas respectivas semânticas. Tal abordagem utiliza a flexibilidade dos cálculos gráficos para expressar, direta e intuitivamente, a semântica das lógicas modais. Ilustramos os benefícios dessas ideias aplicando-as a alguns casos conhecidos de lógicas multimodais clássica e intuicionista.
---
Artigo em inglês.

##plugins.themes.bootstrap3.article.details##

Como Citar
VELOSO, Paulo A. S.; VELOSO, Sheila R. M.. On Graphical Calculi for Modal Logics. O que nos faz pensar, [S.l.], v. 25, n. 39, p. 157-191, dec. 2016. ISSN 0104-6675. Disponível em: <http://oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/518>. Acesso em: 19 nov. 2017.
Seção
Artigos