Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Ditmarsch, Hans van (Editor), Lang, Jérôme (Editor), Ju, Shier (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
• Series: Lecture Notes in Computer Science, 6953
• Subjects: Computer science.; Computers.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.; Discrete Mathematics in Computer Science.; Symbolic and Algebraic Manipulation.; Logics and Meanings of Programs.; Theory of Computation.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. The 25 revised full papers presente...