Tableaux for some deontic logics with the explicit permission operator
In this paper we present a tableau system for deontic logics with the operator of explicit permission. By means of this system the decidability of the considered logics can be proved. We will sketch how these logics are semantically defined by means of relating semantics and how they provide a simpl...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Lodz University Press
2022-06-01
|
| Series: | Bulletin of the Section of Logic |
| Subjects: | |
| Online Access: | https://czasopisma.uni.lodz.pl/bulletin/article/view/13227 |