Pages that link to "Item:Q2983399"
From MaRDI portal
The following pages link to On Sahlqvist theory for hybrid logics (Q2983399):
Displaying 14 items.
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- (Q3121529) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- (Q4625704) (← links)
- Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA (Q4982120) (← links)
- (Q5119388) (← links)
- (Q5376651) (← links)
- Analogues of Bull’s theorem for hybrid logic (Q5382581) (← links)
- (Q5419870) (← links)
- Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators (Q5477453) (← links)
- Hybrid logics with Sahlqvist axioms (Q5697717) (← links)
- Algorithmic correspondence for hybrid logic with binder (Q5877706) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)