Pages that link to "Item:Q5111246"

The following pages link to Model Checking and Validity in Propositional and Modal Inclusion Logics (Q5111246):

Displaying 4 items.

• Propositional union closed team logics (Q2131275) (← links)
• The expressive power of \(k\)-ary exclusion logic (Q2273014) (← links)
• Canonical Models and the Complexity of Modal Team Logic (Q5079755) (← links)
• Model Checking and Validity in Propositional and Modal Inclusion Logics (Q5111246) (← links)