Pages that link to "Item:Q2372681"
From MaRDI portal
The following pages link to Hybrid formulas and elementarily generated modal logics (Q2372681):
Displaying 9 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)
- Quasi-modal equivalence of canonical structures (Q2747700) (← links)
- Constructive Formalization of Hybrid Logic with Eventualities (Q3100197) (← links)
- THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES (Q3577747) (← links)
- An extension of Kracht's theorem to generalized Sahlqvist formulas (Q3647298) (← links)
- (Q4391083) (← links)