scientific article

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Related Items (8)

Ockham's razor and reasoning about information flow ⋮ Let Us investigate! Dynamic conjecture-making as the formal logic of abduction ⋮ Generalized DEL-Sequents ⋮ An Epistemic Separation Logic ⋮ A sketch of a dynamic epistemic semiring ⋮ Tableau Method and NEXPTIME-Completeness of DEL-Sequents ⋮ Dynamic Epistemic Logic as a Substructural Logic ⋮ The Mathematics of Text Structure

This page was built for publication: