Reasoning about Knowledge in Linear Logic: Modalities and Complexity
M. Marion and M. Sadrzadeh
Details
| 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 |
Links
Related pages
|
People |