Reasoning about Dynamic Epistemic Logic
Reasoning about Dynamic Epistemic Logic
605-614
Baltag, Alexandru
038029f8-5d73-4285-8dbb-0303688fad1a
Coecke, Bob
39dfe38b-563b-4726-8bce-e1e80dd25180
Sadrzadeh, Mehrnoosh
8378dbf9-bb16-483c-9380-6c329e299fea
van der Hoek, Wibe
ff3e8fb6-bb8e-46b7-8f15-87f042952661
2004
Baltag, Alexandru
038029f8-5d73-4285-8dbb-0303688fad1a
Coecke, Bob
39dfe38b-563b-4726-8bce-e1e80dd25180
Sadrzadeh, Mehrnoosh
8378dbf9-bb16-483c-9380-6c329e299fea
van der Hoek, Wibe
ff3e8fb6-bb8e-46b7-8f15-87f042952661
Baltag, Alexandru, Coecke, Bob and Sadrzadeh, Mehrnoosh
(2004)
Reasoning about Dynamic Epistemic Logic.
van der Hoek, Wibe
(ed.)
European Workshop on Multi-Agent Systems, Barcelona, Spain.
.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 2004
Additional Information:
Event Dates: December 2004
Venue - Dates:
European Workshop on Multi-Agent Systems, Barcelona, Spain, 2004-12-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 261816
URI: http://eprints.soton.ac.uk/id/eprint/261816
PURE UUID: b7a49ab4-6ad1-4b1a-8664-8baea2776c6a
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:
Wibe van der Hoek
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