Pages that link to "Item:Q2372681"
From MaRDI portal
The following pages link to Hybrid formulas and elementarily generated modal logics (Q2372681):
Displayed 6 items.
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- Axiomatizing hybrid logic using modal logic (Q631084) (← links)
- Canonical extensions: an algebraic approach to Stone duality (Q1991594) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES (Q3577747) (← links)
- An extension of Kracht's theorem to generalized Sahlqvist formulas (Q3647298) (← links)