Hybrid and Subexponential Linear Logics
Electr. Notes Theor. Comput. Sci., Volume 332, 2017, Pages 95-111.
Abstract 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 differe...More
Full Text (Upload PDF)
PPT (Upload PPT)