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
![[img]](/style/images/fileicons/application_pdf.png)
| PDF 273Kb |
| Creators: | Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh |
|---|---|
| Editors: | Erik De Vink, Alessio Lomuscio, Wiebe Van der Hoek, Michael Wooldridge |
| Item Type: | Article |
| Research Group: | Dependable Systems and Software Engineering Research Group |
| Deposited On: | 25 Jan 2006 by Sadrzadeh, Mehrnoosh |
| ID Code: | 11809 |
| Last Modified: | 11 Nov 2009 12:25 |
| Performance Indicator: | EZ~03~01~11 |
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
