Back to Search
Start Over
TABLEAUX FOR SOME DEONTIC LOGICS WITH THE EXPLICIT PERMISSION OPERATOR.
- Source :
-
Bulletin of the Section of Logic . Jun2022, Vol. 51 Issue 2, p281-295. 15p. - Publication Year :
- 2022
-
Abstract
- 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 simple solution to the free choice permission problem. In short, these logics employ relating implication and a certain propositional constant. These two are in turn used to define deontic operators similarly as in Andersonian-Kangerian reduction, which uses different intensional implications and constants. [ABSTRACT FROM AUTHOR]
- Subjects :
- *DEONTIC logic
*SEMANTICS
*LOGIC
Subjects
Details
- Language :
- English
- ISSN :
- 01380680
- Volume :
- 51
- Issue :
- 2
- Database :
- Academic Search Index
- Journal :
- Bulletin of the Section of Logic
- Publication Type :
- Academic Journal
- Accession number :
- 159623010
- Full Text :
- https://doi.org/10.18778/0138-0680.2022.11