A new tableaux system for KD

Authors

  • 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

Keywords:

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

Abstract

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

Published

2020-12-21

How to Cite

FREITAS, R. A. de; FEITOSA, H. de A. A new tableaux system for KD. C.Q.D. - Revista Eletrônica Paulista de Matemática, Bauru, v. 19, 2020. Disponível em: https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/299. Acesso em: 22 nov. 2024.

Issue

v.19 - Edição Dezembro 2020

Section

Artigos de Pesquisa

License

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

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.