A Runs-and-Systems Semantics for Logics of Announcements', selected papers from the 8th International Conference on Logic and Foundations of Games and Decision Theory (2009)
Attributed to:
Algebraic and coalgebraic semantics for knowledge acquisition: foundations, applications, and tool support
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Conference/Paper/Proceeding/Abstract
Parent Publication: Springer series LNCS-FoLLI