The following pages link to How to Build Input/Output Logic (Q2921963):
Displaying 9 items.
- Adaptive logic characterizations of input/output logic (Q332074) (← links)
- Input/output logics (Q1582229) (← links)
- On the complexity of input/output logic (Q1688711) (← links)
- The logic of reusable propositional output with the fulfilment constraint (Q2701987) (← links)
- “Sing and Dance!” (Q2879297) (← links)
- Combining Constitutive and Regulative Norms in Input/Output Logic (Q2879305) (← links)
- Boolean Game with Prioritized Norms (Q3457717) (← links)
- Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation (Q4555453) (← links)
- (Q5271383) (← links)