Pages that link to "Item:Q5697717"
From MaRDI portal
The following pages link to Hybrid logics with Sahlqvist axioms (Q5697717):
Displaying 18 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)
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic (Q851196) (← links)
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- Hybrid counterfactual logics. David Lewis meets Arthur Prior again (Q1047798) (← links)
- Hybrid logics of separation axioms (Q1047799) (← 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)
- On Sahlqvist theory for hybrid logics (Q2983399) (← links)
- Hybrid completeness (Q4210769) (← links)
- (Q4625704) (← links)
- Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA (Q4982120) (← links)
- Analogues of Bull’s theorem for hybrid logic (Q5382581) (← links)
- Hybrid Logics with Infinitary Proof Systems (Q5477452) (← links)
