Exploring logical dynamics
Modal logic
Bisimulations for Temporal Logic
Journal of Logic, Language and Information
Coalition games and alternating temporal logics
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Guarded Quantification in Least Fixed Point Logic
Journal of Logic, Language and Information
A logic for strategic reasoning
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Decisions, Actions, and Games: A Logical Perspective
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
Dynamic restriction of choices: a preliminary logical report
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Stability under Strategy Switching
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
Logic for automated mechanism design: a progress report
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
An alternative foundation for DeLP: defeating relations and truth values
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Complementation of coalgebra automata
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
CTL.STIT: enhancing ATL to express important multi-agent system verification properties
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
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
Playing extensive form games in parallel
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Reasoning about joint action and coalitional ability in Kn with intersection
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Dynamic restriction of choices: synthesis of societal rules
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
An Epistemic Logic of Extensive Games
Electronic Notes in Theoretical Computer Science (ENTCS)
Games, Actions and Social Software
Categories of coalgebraic games
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
| Hi-index | 0.02 |
We analyze extensive games as interactive process models, using modallanguages plus matching notions of bisimulation as varieties of gameequivalences. Our technical results show how to fit existing modalnotions into this new setting.