Pages that link to "Item:Q5697717"
From MaRDI portal
The following pages link to Hybrid logics with Sahlqvist axioms (Q5697717):
Displaying 11 items.
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- Sahlqvist correspondence for modal mu-calculus (Q454371) (← links)
- Axiomatizing hybrid logic using modal logic (Q631084) (← links)
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091) (← links)
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- Hybrid counterfactual logics. David Lewis meets Arthur Prior again (Q1047798) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Topological Perspective on the Hybrid Proof Rules (Q2867949) (← links)
- (Q4625704) (← links)
- Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA (Q4982120) (← links)