Algebra and Sequent Calculus for Epistemic Actions

Baltag, A., Coecke, B. and Sadrzadeh, M. (2005) Algebra and Sequent Calculus for Epistemic Actions. Electronic Notes in Theoretical Computer Science, 126 . pp. 27-52.

Download

Preview

PDF 273Kb

Item Type:	Article
Creator/Authors:	Alexandru Baltag Bob Coecke Mehrnoosh Sadrzadeh
Editors:	Erik De Vink Alessio Lomuscio Wiebe Van der Hoek Michael Wooldridge
Research Group:	Old ECS Groups > Dependable Systems and Software Engineering Research Group
Date:	March 2005
Information about this record:
Performance Indicator:	EZ~03~01~11
Citations:	Google Scholar: 17
Downloads (2010):	35
ID Code:	11809
Last Modified:	23 Sep 2011 10:33
Deposited On:	25 Jan 2006 by Sadrzadeh, Mehrnoosh

Tools & Metadata

Download Statistics

Members of ECS may view the download statistics dashboard for this record.

Corrections

ECS staff and postgraduates may modify this record