On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach
From MaRDI portal
Publication:5006834
DOI10.12775/LLP.2020.010zbMath1478.03038OpenAlexW3038844671MaRDI QIDQ5006834
Mateusz Klonowski, Tomasz Jarmużek
Publication date: 17 August 2021
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.12775/llp.2020.010
deontic logicrelating logicrelating semanticstableau approachdeontic relationshipquasi-deontic modalitiesstrictly-deontic modalities
Related Items (10)
THREE MODEL-THEORETIC CONSTRUCTIONS FOR GENERALIZED EPSTEIN SEMANTICS ⋮ Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems ⋮ History of Relating Logic. The Origin and Research Directions ⋮ Alternative Semantics for Normative Reasoning with an Application to Regret and Responsibility ⋮ Relating Semantics for Epistemic Logic ⋮ Incorporating the Relation into the Language? ⋮ Tableaux for logics of content relationship and set-assignment semantics ⋮ Tolerating Inconsistencies: A Study of Logic of Moral Conflicts ⋮ Tableaux for some deontic logics with the explicit permission operator ⋮ Axiomatization of some basic and modal Boolean connexive logics
Cites Work
- Andersonian deontic logic, propositional quantification, and Mally
- Anderson's relevant deontic and eubouliatic systems
- Relevant deontic logic
- Input/output logics
- Nested deontic modalities: Another view of parking on highways
- Pure modal logic of names and tableau systems
- On deontic action logics based on Boolean algebra
- Modal Boolean Connexive Logics: Semantics and Tableau Approach
- Tableau Metatheorem for Modal Logics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach