Algebra and Sequent Calculus for Epistemic Actions (2005)

Cached

Download Links

by Alexabdru Baltag , Bob Coecke , Mehrnoosh Sadrzadeh
Venue:ENTCS PROCEEDINGS OF LOGIC AND COMMUNICATION IN MULTI-AGENT SYSTEMS (LCMAS) WORKSHOP, ESSLLI 2004
Citations:12 - 3 self