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 , decidability , sketch , operator (biology) , computer science , semantics (computer science) , kripke semantics , t norm fuzzy logics , modal operator , theoretical computer science , programming language , mathematics , algebra over a field , algorithm , pure mathematics , epistemology , artificial intelligence , description logic , philosophy , intermediate logic , multimodal logic , repressor , fuzzy logic , chemistry , membership function , biochemistry , fuzzy set , transcription factor , gene
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom