Pages that link to "Item:Q2820709"

The following pages link to Characterizing Relative Frame Definability in Team Semantics via the Universal Modality (Q2820709):

Displaying 3 items.

• Questions and dependency in intuitionistic logic (Q2176408) (← links)
• Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
• Model Checking and Validity in Propositional and Modal Inclusion Logics (Q5111246) (← links)