Pages that link to "Item:Q4982120"
From MaRDI portal
The following pages link to Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA (Q4982120):
Displaying 7 items.
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA (Q631077) (← links)
- On Sahlqvist theory for hybrid logics (Q2983399) (← links)
- Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA (Q3431963) (← links)
- IV. Semantic extensions of SQEMA (Q3643312) (← links)
- (Q5465434) (← links)
- Algorithmic correspondence for hybrid logic with binder (Q5877706) (← links)