Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox

DOI10.12775/LLP.2017.012zbMath1456.03034OpenAlexW2610507824MaRDI QIDQ4683215

Daniel Rönnedal

Publication date: 20 September 2018

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2017.012

zbMATH Keywords

modal logicconditional normstemporal logicsemantic tableauxdyadic deontic logic\(\mathrm{T}\times\mathrm{W}\) logicscontrary-to-duty obligations, the contrary-to-duty (obligation) paradox

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)

Cites Work

• Rich deontic logic: A preliminary study
• Completeness of a branching-time logic with possible choices
• Handbook of philosophical logic. Vol. 8
• Dyadic deontic detachment
• Proof methods for modal and intuitionistic logics
• A Gabbay-rule free axiomatization of \(T\times W\) validity
• Tools and techniques in modal logic
• The logic of historical necessity as founded on two-dimensional modal tense logic
• Combinations of tense and modality for predicate logic
• T \(\times\) W completeness
• Many-dimensional modal logics: theory and applications
• First-order modal logic
• Temporal alethic-deontic logic and semantic tableaux
• The logic of conditional obligation. Comments by Harry Beatty
• Modal logic with subjunctive conditionals and dispositional predicates
• Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation
• Conditional obligation and positive permission for agents in time
• Quantified temporal alethic-deontic logic
• Semantic Analyses for Dyadic Deontic Logic
• Revised foundations for imperative-epistemic and interrogative logic
• Branching-time logic with quantification over branches: The point of view of modal logic
• An Analysis of some Deontic Logics
• Handbook of philosophical logic. Vol. 3.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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: Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox