Pages that link to "Item:Q332074"

The following pages link to Adaptive logic characterizations of input/output logic (Q332074):

Displaying 7 items.

• A concept approach to input/output logic (Q898776) (← links)
• Input/output logics (Q1582229) (← links)
• On the complexity of input/output logic (Q1688711) (← links)
• Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
• The logic of reusable propositional output with the fulfilment constraint (Q2701987) (← links)
• “Sing and Dance!” (Q2879297) (← links)
• Subordination algebras as semantic environment of input/output logic (Q6160753) (← links)