Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation

DOI10.1016/j.jal.2005.04.002zbMath1081.03016OpenAlexW2021847377MaRDI QIDQ2568340

Lennart Åqvist

Publication date: 10 October 2005

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

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

zbMATH Keywords

deontic logictemporal logicsconditional obligationhistorical necessitybranching time structuresrealization operators

Mathematics Subject Classification ID

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

Related Items (8)

Quantified temporal alethic boulesic doxastic logic ⋮ Ten Problems of Deontic Logic and Normative Reasoning in Computer Science ⋮ Temporal alethic-deontic logic and semantic tableaux ⋮ Quantified temporal alethic-deontic logic ⋮ Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox ⋮ ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations ⋮ Challenges in the Specification of Full Contracts ⋮ Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Handbook of philosophical logic. Vol. 8
• Dyadic deontic detachment
• A finite axiomatization of the set of strongly valid Ockhamist formulas
• T \(\times\) W completeness
• Old foundations for the logic of agency and action
• Three characterizability problems in deontic logic
• On Some Completeness Theorems in Modal Logic
• Two-dimensional modal logic

This page was built for publication: Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation