Algebra and Sequent Calculus for Epistemic Actions
Baltag, Alexandru, Coecke, Bob and Sadrzadeh, Mehrnoosh, De Vink, Erik, Lomuscio, Alessio, Van der Hoek, Wiebe and Wooldridge, Michael (eds.) (2005) Algebra and Sequent Calculus for Epistemic Actions. Electronic Notes in Theoretical Computer Science, 126, 27-52.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (273Kb) |
| Item Type: | Article |
|---|---|
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 261809 |
| Date Deposited: | 25 Jan 2006 |
| Last Modified: | 02 Mar 2012 12:20 |
| Contributors: | Baltag, Alexandru (Author) Coecke, Bob (Author) Sadrzadeh, Mehrnoosh (Author) De Vink, Erik (Editor) Lomuscio, Alessio (Editor) Van der Hoek, Wiebe (Editor) Wooldridge, Michael (Editor) |
| Date: | March 2005 |
| Status: | Published |
| Publisher: | Elsevier Scientific Publishers |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/261809 |
Actions (login required)
 |
View Item |
