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

by Mathieu Marion , Mehrnouche Sadrzadeh
Venue:Logic, Epistemology, and the Unity of Science
Citations:6 - 5 self