A new tableaux system for KD

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.

Saved in:
Bibliographic Details
Published inC.Q.D. Vol. 19
Main Authors Freitas, Romulo Albano de, Feitosa, Hércules de Araujo
Format Journal Article
LanguageEnglish
Portuguese
Published UNESP 01.12.2020
Subjects
Deduction systems
Deontic Logic
Modal logics
Refutation Trees
Tableaux
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:2316-9664
2316-9664
DOI:10.21167/cqdvol19202023169664rafhafvv8396