The following pages link to (Q3342525):
Displayed 14 items.
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition (Q484199) (← links)
- A deontic logic framework allowing for factual detachment (Q545154) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Top-down development of layered fault tolerant systems and its problems -- a deontic perspective (Q1353857) (← links)
- Temporal alethic-deontic logic and semantic tableaux (Q1948272) (← links)
- Unsettling preferential semantics (Q1986085) (← links)
- Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
- Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation (Q2568340) (← links)
- Deontic logic and possible worlds semantics: A historical sketch (Q2639845) (← links)
- Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance (Q3092314) (← links)
- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science (Q3166987) (← 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)