The following pages link to (Q5271377):
Displaying 5 items.
- Problems and results for logics about imperatives (Q598542) (← links)
- Validity and satisfaction in imperative logic (Q923063) (← links)
- A Lewisian taxonomy for deontic logic (Q1989995) (← links)
- Formalizing Kant's rules. A logic of conditional imperatives and permissives (Q2194110) (← links)
- Imperative logic as based on a Galois connection (Q3822140) (← links)