Reasoning about Knowledge in Linear Logic: Modalities and Complexity
M. Marion and M. Sadrzadeh infobook 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 |
links
BibTeX
related pages
|
