Publication:2848068
From MaRDI portal
zbMath1272.68377MaRDI QIDQ2848068
Bob Coecke, Alexandru Baltag, Mehrnoosh Sadrzadeh
Publication date: 25 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105000824
Related Items
The Mathematics of Text Structure, Dynamic Epistemic Logic as a Substructural Logic, Ockham's razor and reasoning about information flow, A sketch of a dynamic epistemic semiring, Let Us investigate! Dynamic conjecture-making as the formal logic of abduction, Tableau Method and NEXPTIME-Completeness of DEL-Sequents, Generalized DEL-Sequents, An Epistemic Separation Logic