The following pages link to (Q4833774):
Displaying 6 items.
- Sahlqvist correspondence for modal mu-calculus (Q454371) (← links)
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- First-order intensional logic (Q598308) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Modal definability of first-order formulas with free variables and query answering (Q2446543) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
