Reasoning about Knowledge in Linear Logic: Modalities and Complexity
M. Marion and M. Sadrzadeh
Book Title
Logic‚ Epistemology‚ and the Unity of Science
Editor
S. Rahman‚ J. Symons‚ D. M. Gabbay‚ J. P. van Bendegem
Location
Dordrecht
Publisher
Kluwer
Year
2004