The following pages link to Jörg Hansen (Q484190):
Displayed 8 items.
- Be nice! How simple imperatives simplify imperative logic (Q484191) (← links)
- Problems and results for logics about imperatives (Q598542) (← links)
- Conflicting imperatives and dyadic deontic logic (Q2568342) (← links)
- (Q4329186) (← links)
- (Q4938871) (← links)
- Reasoning About Permission and Obligation (Q5250315) (← links)
- (Q5271377) (← links)
- Deontic Logic in Computer Science (Q5901585) (← links)