Baltag, Alexandru, Coecke, Bob and Sadrzadeh, Mehrnoosh (2004) Epistemic Actions as Resources. Pym, David, O'Hearn, Peter and Galmiche, Didier (eds.) Logics for Resources Programs and Processes, LiCS, Turku, Finland. pp. 1-28 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 2004
Additional Information:
Event Dates: 2004
Venue - Dates:
Logics for Resources Programs and Processes, LiCS, Turku, Finland, 2004-01-01
Keywords:
Dynamic Logic, Epistemic Logic, Linear Logic, Quantale, Galois Adjoints
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 262824
URI: http://eprints.soton.ac.uk/id/eprint/262824
PURE UUID: 0db7fc14-a03a-45b9-b524-7fa7beaaac33
Catalogue record
Date deposited: 10 Jul 2006
Last modified: 14 Mar 2024 07:18
Export record
Contributors
Author:
Alexandru Baltag
Author:
Bob Coecke
Author:
Mehrnoosh Sadrzadeh
Editor:
David Pym
Editor:
Peter O'Hearn
Editor:
Didier Galmiche
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.