On Graphical Calculi for Modal Logics

Barra lateral de artigos

Capa da revista O que nos faz pensar nº 39
PDF (English)
Publicado: dez. 30, 2016
Palavras-chave:
Lógicas modais, lógicas modais clássicas, lógicas modais intuicionistas, semântica de mundos possíveis, formulações gráficas, calculus gráficos

Conteúdo do artigo principal

Paulo A. S. Veloso
PESC, COPPE-UFRJ
Sheila R. M. Veloso
FEN-UERJ

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.

Detalhes do artigo

Edição
v. 25 n. 39 (2016): Filosofia, Lógica e Computação
Seção
Artigos

Nota de Direitos Autorais

O autor do artigo ou resenha submetido e aprovado para publicação autoriza os editores a reproduzi-lo e publicá-lo na a revista O que nos faz pensar, entendendo-se os termos "reprodução" e "publicação" conforme a licença Creative Commons Atribuição-NãoComercial 4.0 Internacional. O artigo ou resenha poderá ser acessado tanto pela rede mundial de computadores (WWW – Internet), como pela versão impressa, sendo permitidas, a título gratuito, a consulta e a reprodução do texto para uso próprio de quem a consulta. Essa autorização de publicação não tem limitação de tempo, ficando os editores da revista O que nos faz pensar responsável pela manutenção da identificação do autor do artigo.

Biografia do Autor

Paulo A. S. Veloso, PESC, COPPE-UFRJ

Possui graduação em Engenharia de Eletrônica pelo Instituto Tecnológico de Aeronáutica (1968), mestrado em Engenharia Elétrica (Sistemas) pela Universidade Federal do Rio de Janeiro (1970), mestrado em Mathematics (Logic) - University of California (1974), e doutorado em Electrical Engineering & Computer Science - University of California (1975). Atualmente é professor titular da Universidade Federal do Rio de Janeiro. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação, atuando principalmente nos seguintes temas: lógica, construcao de especificacao, álgebra relacional, raciocínio qualitativo e especificações lógicas.

Sheila R. M. Veloso, FEN-UERJ

Possui graduação em Engenharia Química pela Universidade Federal do Rio de Janeiro (1970), mestrado em M A Mathematics - University of California Berkely (1973) e doutorado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (1985). É professora adjunta aposentada do Universidade Federal do Riode Janeiro.Atualmente é prof. titular da Universidade do Estado do Rio de Janeiro. Tem experiência na área de Ciência da Computação, com ênfase em Teoria de Programação, atuando principalmente nos seguintes temas: lógica modal, algebra relacional, raciocínio genérico, raciocíno qualitativo e algebra com fork