On Graphical Calculi for Modal Logics

On Graphical Calculi for Modal Logics

por 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 este artigo
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://www.oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/518>. Acesso em: 25 july 2017.
Seção
Artigos