Hybrid and Subexponential Linear Logics Technical Report
arXiv: Logic in Computer Science, Volume abs/1608.08779, 2016.
HyLL (Hybrid Linear Logic) and SELL (Subexponential Linear Logic) are logical frameworks that have been extensively used for specifying systems that exhibit modalities such as temporal or spatial ones. Both frameworks have linear logic (LL) as a common ground and they admit (cut-free) complete focused proof systems. The difference between...More
PPT (Upload PPT)