Pages that link to "Item:Q2568340"
From MaRDI portal
The following pages link to Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation (Q2568340):
Displaying 13 items.
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- The logic of historical necessity as founded on two-dimensional modal tense logic (Q1303792) (← links)
- Old foundations for the logic of agency and action (Q1868246) (← links)
- Temporal alethic-deontic logic and semantic tableaux (Q1948272) (← links)
- Combined temporal and modal logic. Completeness results for predicate logic languages (Q2771498) (← links)
- Quantified temporal alethic-deontic logic (Q2987727) (← links)
- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science (Q3166987) (← links)
- ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations (Q3602942) (← links)
- Challenges in the Specification of Full Contracts (Q3605474) (← links)
- Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox (Q4683215) (← links)
- Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations (Q4982115) (← links)
- Deontic Logic in Computer Science (Q5901578) (← links)
- On some weakened forms of transitivity in the logic of conditional obligation (Q6544539) (← links)
