Pages that link to "Item:Q1688711"
From MaRDI portal
The following pages link to On the complexity of input/output logic (Q1688711):
Displaying 12 items.
- Complexity of fixed-size bit-vector logics (Q504997) (← links)
- A concept approach to input/output logic (Q898776) (← links)
- On the complexity of input/output logic (Q1688711) (← links)
- From input/output logics to conditional logics via sequents -- with provers (Q2142070) (← links)
- Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base (Q2228447) (← links)
- Interaction in normative multi-agent systems (Q2863850) (← links)
- How to Build Input/Output Logic (Q2921963) (← links)
- (Q3331153) (← links)
- On the Complexity of Input/Output Logic (Q3457729) (← links)
- Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation (Q4555453) (← links)
- (Q5271383) (← links)
- Subordination algebras as semantic environment of input/output logic (Q6160753) (← links)