Reasoning About Knowledge In Linear Logic: Modalities and Complexity

Mathieu Marion, Mehrnouche Sadrzadeh. Reasoning About Knowledge In Linear Logic: Modalities and Complexity. In Shahid Rahman, John Symons, Dov M. Gabbay, Jean Paul Van Bendegem, editors, Logic, Epistemology, and the Unity of Science. Volume 1 of Logic, Epistemology, and the Unity of Science, pages 327-350, Springer, 2004. [doi]

Abstract

Abstract is missing.