The following pages link to (Q3787968):
Displayed 12 items.
- Be nice! How simple imperatives simplify imperative logic (Q484191) (← links)
- Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition (Q484199) (← links)
- Restall and Beall on logical pluralism: a critique (Q488376) (← links)
- Agential obligation as non-agential personal obligation plus agency (Q598546) (← links)
- A deontic approach to database integrity (Q1353862) (← links)
- Relative contingency and bimodality (Q1945710) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G (Q3522050) (← links)
- Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox (Q4683215) (← links)
- Duty and Sacrifice: A Logical Analysis of the Mīmāṃsā Theory of Vedic Injunctions (Q5208236) (← links)
- COMPLETENESS OF ÅQVIST’S SYSTEMS <b>E</b> AND <b>F</b> (Q5247347) (← links)
- Simple Axioms for Local Properties (Q6199600) (← links)