Reasoning about knowledge
Extensive Games as Process Models
Journal of Logic, Language and Information
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Distributed Computing
A logic for strategic reasoning
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Propositional Games with Explicit Strategies
Electronic Notes in Theoretical Computer Science (ENTCS)
Logics of communication and change
Information and Computation
Axiomatic characterization of the AGM theory of belief revision in a temporal logic
Artificial Intelligence
Alternating-time temporal logic with explicit strategies
TARK '07 Proceedings of 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
Verifying epistemic protocols under common knowledge
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Epistemic dynamics and protocol information
Epistemic dynamics and protocol information
Modal fixed-point logic and changing models
Pillars of computer science
Can doxastic agents learn? on the temporal structure of learning
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
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
Combinations of Stit and Actions
Journal of Logic, Language and Information
Proof-theoretic analysis of rationality for strategic games with arbitrary strategy sets
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
| Hi-index | 0.00 |
This programmatic note high-lights a major theme in my lecture notes "Logic in Games"[37]: the need for explicit logics that define agents' strategies, as the drivers of interaction in games. Our text outlines issues, recalls recent results, and raises new open problems. Results are mainly quoted, and the emphasis is on new notions and questions. For more details on the various topics discussed, see the relevant references.