The following pages link to “Sing and Dance!” (Q2879297):
Displaying 8 items.
- Adaptive logic characterizations of input/output logic (Q332074) (← links)
- A concept approach to input/output logic (Q898776) (← links)
- On the complexity of input/output logic (Q1688711) (← links)
- Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base (Q2228447) (← links)
- Combining Constitutive and Regulative Norms in Input/Output Logic (Q2879305) (← links)
- How to Build Input/Output Logic (Q2921963) (← links)
- Arguing about constitutive and regulative norms (Q4685529) (← links)
- Proof theory, semantics and algebra for normative systems (Q5222681) (← links)