Hybrid and Subexponential Linear Logics

Electr. Notes Theor. Comput. Sci., Volume 332, 2017, Pages 95-111.

Cited by: 7|Bibtex|Views3|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments