Pages that link to "Item:Q2820709"

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

Displayed 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)