A new tableaux system for KD

Autores

  • Romulo Albano de Freitas , College of Sciences São Paulo State University
  • Hércules de Araujo Feitosa , College of Sciences São Paulo State University

Palavras-chave:

Modal logics, Deontic Logic, Deduction systems, Tableaux, Refutation Trees.

Resumo

The deontic logic is a particular case of modal logic that analyses relations among the concepts of obligation, permission and prohibition. We take the standard deontic logic KD, for which we introduce a new system of tableaux.

Downloads

Publicado

21-12-2020

Edição

v.19 - Edição Dezembro 2020

Seção

Artigos de Pesquisa

Licença

Direitos autorais (c) 2022 C.Q.D. - Revista Eletrônica Paulista de Matemática

Creative Commons License

Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.

Como Citar

A new tableaux system for KD. C.Q.D. - Revista Eletrônica Paulista de Matemática, Bauru, v. 19, 2020. Disponível em: https://revistas.bauru.unesp.br/index.php/revistacqd/article/view/299. Acesso em: 6 nov. 2025.

Artigos mais lidos pelo mesmo(s) autor(es)