Open AccessTableaux for some deontic logics with the explicit permission operator
Author(s) -
Daniela Glavaničová,
Tomasz Jarmużek,
Mateusz Klonowski,
Piotr Kulicki
Publication year - 2022
Publication title -
bulletin of the section of logic
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.225
H-Index - 13
eISSN - 2449-836X
pISSN - 0138-0680
DOI - 10.18778/0138-0680.2022.11
Subject(s) - deontic logic , permission , sketch , decidability , operator (biology) , computer science , semantics (computer science) , kripke semantics , t norm fuzzy logics , simple (philosophy) , mathematics , algebra over a field , theoretical computer science , programming language , algorithm , pure mathematics , epistemology , artificial intelligence , philosophy , description logic , intermediate logic , repressor , fuzzy logic , chemistry , membership function , biochemistry , fuzzy set , transcription factor , gene