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.002MaRDI QIDQ2568340zbMATH OpenOpenAlexFDO

Authors 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)

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

Cites work

• scientific article; zbMATH DE number 3875224 (Why is no real title available?)
• scientific article; zbMATH DE number 698626 (Why is no real title available?)
• scientific article; zbMATH DE number 1163368 (Why is no real title available?)
• scientific article; zbMATH DE number 823614 (Why is no real title available?)
• scientific article; zbMATH DE number 3363520 (Why is no real title available?)
• A finite axiomatization of the set of strongly valid Ockhamist formulas
• Dyadic deontic detachment
• Handbook of philosophical logic. Vol. 8
• Old foundations for the logic of agency and action
• On Some Completeness Theorems in Modal Logic
• T \(\times\) W completeness
• Three characterizability problems in deontic logic
• Two-dimensional modal logic

Cited in

(14)

• Combined temporal and modal logic. Completeness results for predicate logic languages
• Quantified temporal alethic boulesic doxastic logic
• Quantified temporal alethic-deontic logic
• Decision procedures for a deontic logic modeling temporal inheritance of obligations
• On some weakened forms of transitivity in the logic of conditional obligation
• ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations
• Temporal alethic dyadic deontic logic and the contrary-to-duty obligation paradox
• Temporal alethic-deontic logic and semantic tableaux
• Deontic Logic in Computer Science
• Challenges in the Specification of Full Contracts
• \(T\times W\) epistemic modality
• The logic of historical necessity as founded on two-dimensional modal tense logic
• Old foundations for the logic of agency and action
• Ten problems of deontic logic and normative reasoning in computer science

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)