Pages that link to "Item:Q3647298"
From MaRDI portal
The following pages link to An extension of Kracht's theorem to generalized Sahlqvist formulas (Q3647298):
Displaying 6 items.
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- Modal definability of first-order formulas with free variables and query answering (Q2446543) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
- On Compatibility of Two Approaches to Generalization of the Lovász Extension Formula (Q6485262) (← links)