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

branching time structuresconditional obligationdeontic logichistorical necessityrealization operatorstemporal logics

Mathematics Subject Classification ID

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

Review text

This paper presents three hierarchies of `two-dimensional temporal logics with explicit realization operators'. The first provides the basic temporal framework, in which the two dimensions are one for moments in time and the other for histories or worlds over times. The realization operator, \(R_{th}A\), expresses that \(A\) is realized at time \(t\) in history \(h\). This allows reference to times without indexing other modal operators. The second level adds a monadic operator \(N\) for historical necessity or inevitability (truth in all histories), and the third adds dyadic deontic operators for conditional obligation and permission as well as a set of `frame constants' that represent levels of value or perfection. For all three levels, logics are defined both axiomatically and semantically, and strong and weak soundness and completeness theorems are proved.

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

• A finite axiomatization of the set of strongly valid Ockhamist formulas
• Dyadic deontic detachment
• Handbook of philosophical logic. Vol. 8
• 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?)
• Old foundations for the logic of agency and action
• On Some Completeness Theorems in Modal Logic
• T W completeness
• Three characterizability problems in deontic logic
• Two-dimensional modal logic

Cited in

(14)

• The logic of historical necessity as founded on two-dimensional modal tense logic
• Old foundations for the logic of agency and action
• Temporal alethic-deontic logic and semantic tableaux
• Combined temporal and modal logic. Completeness results for predicate logic languages
• Quantified temporal alethic-deontic logic
• Ten problems of deontic logic and normative reasoning in computer science
• ‘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
• T W epistemic modality
• Temporal alethic dyadic deontic logic and the contrary-to-duty obligation paradox
• Decision procedures for a deontic logic modeling temporal inheritance of obligations
• Deontic Logic in Computer Science
• On some weakened forms of transitivity in the logic of conditional obligation
• Quantified temporal alethic boulesic doxastic 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)