The complexity of reasoning about knowledge and time. I. lower bounds
Journal of Computer and System Sciences - 18th Annual ACM Symposium on Theory of Computing (STOC), May 28-30, 1986
Reasoning about knowledge
Common knowledge and backward induction: a solution to the paradox
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Diversity of Agents and Their Interaction
Journal of Logic, Language and Information
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
The 11th conference on Theoretical aspects of rationality and knowledge
Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Agreement theorems in dynamic-epistemic logic
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Game Solution, Epistemic Dynamics and Fixed-Point Logics
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Lectures in Game Theory for Computer Scientists
Lectures in Game Theory for Computer Scientists
The synchronicity of dynamic epistemic logic
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
| Hi-index | 0.00 |
We explore some recent directions for the logical foundations of social action that emerge from contacts between logic, game theory, philosophy, and computer science.