Algebra and sequent calculus for epistemic actions

Electronic Notes in Theoretical Computer Science

Volumn 126, Issue , 2005, Pages 27-52

  Baltag, Alexandru ^a   Coecke, Bob ^a   Sadrzadeh, Mehrnoosh ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITÉ DU QUÉBEC À MONTRÉAL   (Canada)

Author keywords

Dynamic epistemic logic; Module; Quantale; Resources

Indexed keywords

ARTIFICIAL INTELLIGENCE; BOOLEAN ALGEBRA; COMPUTER NETWORKS; ELECTRONIC COMMERCE; KNOWLEDGE ACQUISITION; MULTI AGENT SYSTEMS; RESOURCE ALLOCATION; SEMANTICS; VARIATIONAL TECHNIQUES;

DYNAMIC EPISTEMIC LOGIC (DEL); MODULES; QUANTALE; RESOURCES;

FORMAL LOGIC;

EID: 14044258613     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.11.012     Document Type: Conference Paper

References (27)

1. S. Abramsky, and S. Vickers Quantales, observational logic and process semantics Mathematical Structures in Computer Science 3 1993 161 227
2. A. Baltag, 'Logics for communication: reasoning about information flow in dialogue games', Second North American Summer School in Logic, Language, and Information, http://www.indiana.edu/~nasslli/program.html, Indiana University, 2003
3. A. Baltag, 'A coalgebraic semantics for epistemic programs', Proceedings of Coalgebraic Methods in Computer Science 03, 2003
4. A. Baltag, and L.S. Moss Logics for epistemic programs Synthese 139 2004
5. A. Baltag, L.S. Moss and S. Solecki, 'The logic of public announcements, common knowledge and private suspicions', CWI Technical Report SEN-R9922, 1999
6. A. Baltag, B. Coecke, M. Sadrzadeh, 'Epistemic actions as resources' in Proceedings of Logics for Resources, Programs, Processes (LRPP) workshop in LiCS 2004, http://www.er.uqam.ca/nobel/philmath/LicsWSPROC.pdf
7. B. Coecke, D.J. Moore, and I. Stubbe Quantaloids describing causation and propagation of physical properties Foundations of Physics Letters 14 2001 133 145
8. E.W. Dijkstra A Discipline of Programming 1976 Prentice-Hall
9. R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi Reasoning about Knowledge 1995 MIT Press
10. G. Gierz, K.H. Hofmann, K. Keimel, and J.D. Lawson 1980 Springer-Verlag
11. J. Gerbrandy Dynamic Epistemic Logic L.S. Moss Logic, Language, and Information 2 1999 Stanford University, CSLI Publication
12. J. Gerbrandy, Bisimulation on Planet Kripke, Ph.D. dissertation, University of Amesterdam, 1999
13. J. Gerbrandy, and W. Groenveld Reasoning about information change Journal of Logic, Language, and Information 6 1997
14. J.-Y. Girard Linear logic Theoretical Computer Science 50 1987 1 102
15. D. Harel, D. Kozen, and J. Tiuryn Dynamic Logic 2000 MIT Press
16. C.A.R. Hoare, and Jifeng HE The weakest prespecification Information Processing Letters 24 1987 127 132
17. P.T. Johnstone Stone Spaces 1982 Cambridge University Press
18. A. Joyal, and M. Tierney An extension of the Galois theory of Grothendieck Memoirs of the American Mathematical Society 309 1984
19. J. Lambek The mathematics of sentence structure American Mathematics Monthly 65 1958 154 169
20. M. Marion, and M. Sadrzadeh Reasoning about knowledge in linear logic: modalities and complexity D. Gabbay S. Rahman J.M. Torres J.-P. Van Bendegem Logic, Epistemology, and the Unity of Science 2004 Kluwer
21. C.J. Mulvey Supplemento ai Rendiconti del Circolo Matematico di Palermo II 1986 99 104
22. J. Plaza, 'Logics of public communications', Proceedings of 4th International Symposium on Methodologies for Intelligent Systems, 1989
23. P. Resende Quantales and observational semantics B. Coecke D.J. Moore A. Wilce Current Research in Operational Quantum Logic 2000 Kluwer 263 288
24. K.I. Rosenthal Quantales and their Applications Pitman Research Notes in Mathematics Series 234 1990 Longman
25. I. Stubbe, Categorical Structures Enriched in a Quantaloid: Categories and Semicategories, Ph.D. Thesis, Université Catholique de Louvain, 2003
26. J. Van Benthem Logic in action Journal of Philosophical Logic 20 1989 225 263
27. F. Wolter, and M. Zakharyaschev The relation between intuitionistic and classical modal logics Algebra and logic 36 1997 73 92