The following pages link to (Q5224917):
Displaying 10 items.
- From input/output logics to conditional logics via sequents -- with provers (Q2142070) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base (Q2228447) (← links)
- A logic for deontic dilemmas (Q2568341) (← links)
- Moral Particularism and Deontic Logic (Q4931568) (← links)
- Deontic Logic in Computer Science (Q5901582) (← links)
- Constraints for input/output logics (Q5935791) (← links)
- Deontic paradoxes in Mīmāṃsā logics: there and back again (Q6117139) (← links)
- Subordination algebras as semantic environment of input/output logic (Q6160753) (← links)
- Deontic equilibrium logic with explicit negation (Q6545559) (← links)