Pages that link to "Item:Q2211865"
From MaRDI portal
The following pages link to Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865):
Displaying 6 items.
- A deontic logic reasoning infrastructure (Q1670720) (← links)
- (Q5020989) (← links)
- Automated Kantian ethics: a faithful implementation (Q6045094) (← links)
- Formalising basic topology for computational logic in simple type theory (Q6159367) (← links)
- Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments (Q6618558) (← links)
- Conditional normative reasoning as a fragment of HOL (Q6650731) (← links)