Reasoning about knowledge in linear logic: modalities and complexity (2004)

by M Marion, M Sadrzadeh
Venue:Logic, Epistemology, and the Unity of Science