Linear and affine logics with temporal, spatial and epistemic operators

Norihiro Kamide. Linear and affine logics with temporal, spatial and epistemic operators. Theoretical Computer Science, 353(1-3):165-207, 2006. [doi]

Abstract

Abstract is missing.