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]](http://eprints.ecs.soton.ac.uk/style/images/fileicons/application_pdf.png)  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