Pages that link to "Item:Q5213642"

The following pages link to Games for Inclusion Logic and Fixed-Point Logic (Q5213642):

Displaying 4 items.

• Propositional union closed team logics (Q2131275) (← links)
• Dependency Concepts up to Equivalence. (Q5079749) (← links)
• Axiomatizing first order consequences in inclusion logic (Q5119909) (← links)
• Complexity thresholds in inclusion logic (Q5925562) (← links)