Tableaux for some deontic logics with the explicit permission operator

DOI10.18778/0138-0680.2022.11WikidataQ114048209 ScholiaQ114048209MaRDI QIDQ6200442

Daniela Glavaničová, Piotr Kulicki, Tomasz Jarmużek, Mateusz Klonowski

Publication date: 29 February 2024

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

zbMATH Keywords

free choicerelating semanticsexplicit permission

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Andersonian deontic logic, propositional quantification, and Mally
• Free choice and contextually permitted actions
• Relating semantics as fine-grained semantics for intensional logics
• Some intensional logics defined by relating semantics and tableau systems
• Boolean Connexive Logics: Semantics and tableau approach
• THE LOGIC OF JUSTIFICATION
• On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach
• Tableau Metatheorem for Modal Logics
• Free choice permission, legitimization and relating semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Tableaux for some deontic logics with the explicit permission operator