The following pages link to (Q3085168):
Displaying 4 items.
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- Axiomatization of modal logic squares with distinguished diagonal (Q650277) (← links)
- Modal definability of first-order formulas with free variables and query answering (Q2446543) (← links)
- Complexity of products of modal logics (Q4242586) (← links)
