On Graphical Calculi for Modal Logics

Conteúdo do artigo principal

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.

Detalhes do artigo

Seção
Artigos
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