Strongly Complete Axiomatizations of Knowing at Most in Syntactic Structures

Thomas Ågotnes, Michal Walicki. Strongly Complete Axiomatizations of Knowing at Most in Syntactic Structures. In Francesca Toni, Paolo Torroni, editors, Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers. Volume 3900 of Lecture Notes in Computer Science, pages 57-76, Springer, 2005. [doi]

Authors

Thomas Ågotnes

This author has not been identified. Look up 'Thomas Ågotnes' in Google

Michal Walicki

This author has not been identified. Look up 'Michal Walicki' in Google