Algebra and Sequent Calculus for Epistemic Actions
Algebra and Sequent Calculus for Epistemic Actions
27-52
Baltag, Alexandru
038029f8-5d73-4285-8dbb-0303688fad1a
Coecke, Bob
39dfe38b-563b-4726-8bce-e1e80dd25180
Sadrzadeh, Mehrnoosh
8378dbf9-bb16-483c-9380-6c329e299fea
De Vink, Erik
a19b2542-3790-416f-ba5a-4b3bbaeb758f
Lomuscio, Alessio
acc8acb4-07d3-41b8-bcdd-d1c24cf5251b
Van der Hoek, Wiebe
d32a7f7a-36b5-480c-8ea0-4e92a1f15610
Wooldridge, Michael
94674704-0392-4b93-83db-18198c2cfa3b
March 2005
Baltag, Alexandru
038029f8-5d73-4285-8dbb-0303688fad1a
Coecke, Bob
39dfe38b-563b-4726-8bce-e1e80dd25180
Sadrzadeh, Mehrnoosh
8378dbf9-bb16-483c-9380-6c329e299fea
De Vink, Erik
a19b2542-3790-416f-ba5a-4b3bbaeb758f
Lomuscio, Alessio
acc8acb4-07d3-41b8-bcdd-d1c24cf5251b
Van der Hoek, Wiebe
d32a7f7a-36b5-480c-8ea0-4e92a1f15610
Wooldridge, Michael
94674704-0392-4b93-83db-18198c2cfa3b
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, .
Text
esslliPUB.pdf
- Other
More information
Published date: March 2005
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 261809
URI: http://eprints.soton.ac.uk/id/eprint/261809
PURE UUID: dbec5590-11d5-4089-91fc-dba2eba77cbd
Catalogue record
Date deposited: 25 Jan 2006
Last modified: 14 Mar 2024 06:59
Export record
Contributors
Author:
Alexandru Baltag
Author:
Bob Coecke
Author:
Mehrnoosh Sadrzadeh
Editor:
Erik De Vink
Editor:
Alessio Lomuscio
Editor:
Wiebe Van der Hoek
Editor:
Michael Wooldridge
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics