Pages that link to "Item:Q631084"
From MaRDI portal
The following pages link to Axiomatizing hybrid logic using modal logic (Q631084):
Displaying 8 items.
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091) (← links)
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic (Q851196) (← links)
- Hybrid logics of separation axioms (Q1047799) (← links)
- Hybrid formulas and elementarily generated modal logics (Q2372681) (← links)
- Constructive Formalization of Hybrid Logic with Eventualities (Q3100197) (← links)
- (Q3693507) (← links)
- (Q4636037) (← links)
- Hybrid logics with Sahlqvist axioms (Q5697717) (← links)