The following pages link to Hybrid Categorial Logics (Q4842277):
Displaying 7 items.
- Hybrid logics of separation axioms (Q1047799) (← links)
- Partial proof trees, hybrid logic, and quantifier scope (Q1768805) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- Intuitionistic hybrid logic (Q2506826) (← links)
- Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics (Q2849433) (← links)
- Logical Interpolation and Projection onto State in the Duration Calculus (Q3643270) (← links)
- (Q5018487) (← links)