The following pages link to Hybrid linear logic, revisited (Q5236552):
Displaying 9 items.
- Hybrid and subexponential linear logics (Q1744445) (← links)
- Higher-order syntax and saturation algorithms for hybrid logic (Q2867945) (← links)
- A hybrid linear logic for constrained transition systems (Q2968415) (← links)
- Complexity and Succinctness Issues for Linear-Time Hybrid Logics (Q3532457) (← links)
- (Q4842969) (← links)
- (Q5018485) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← links)
- (Q5875401) (← links)
- A subexponential view of domains in session types (Q6661154) (← links)