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.002zbMATH Open1081.03016OpenAlexW2021847377MaRDI QIDQ2568340FDOQ2568340

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)

Cites Work

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

Cited In (12)

• Quantified temporal alethic boulesic doxastic logic
• Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations
• Combined temporal and modal logic. Completeness results for predicate logic languages
• Temporal alethic-deontic logic and semantic tableaux
• Challenges in the Specification of Full Contracts
• Ten Problems of Deontic Logic and Normative Reasoning in Computer Science
• Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox
• The logic of historical necessity as founded on two-dimensional modal tense logic
• ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations
• On some weakened forms of transitivity in the logic of conditional obligation
• Old foundations for the logic of agency and action
• Quantified temporal alethic-deontic logic

   Recommendations

• Deontic Logic in Computer Science 👍 👎
• The logic of historical necessity as founded on two-dimensional modal tense logic 👍 👎
• A State/Event Temporal Deontic Logic 👍 👎
• On temporal qualification of normative propositions 👍 👎
• Quantified temporal alethic-deontic 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2568340)