Temporal alethic-deontic logic and semantic tableaux

DOI10.1016/j.jal.2012.03.002zbMath1264.03054OpenAlexW2055365081MaRDI QIDQ1948272

Daniel Rönnedal

Publication date: 2 May 2013

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2012.03.002

zbMATH Keywords

modal logicdeontic logictemporal logicsemantic tableauxhistorical necessity\(\mathrm{T} \times \mathrm{W}\) logicsthe means-end principlethe ought-implies-can principle

Mathematics Subject Classification ID

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

Related Items

Quantified temporal alethic boulesic doxastic logic ⋮ Quantified temporal alethic-deontic logic ⋮ Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox

Cites Work

• Rich deontic logic: A preliminary study
• Completeness of a branching-time logic with possible choices
• 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
• 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
• Branching-time logic with quantification over branches: The point of view of modal logic
• Handbook of philosophical logic. Vol. 1.
• 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