LDL research concentrates on applications of logic, especially modal logics and dynamic logics, for modeling aspects of rational agency—from knowledge, belief, and information to action, intention, and games.
Logical Dynamics Lab
LDL research concentrates on applications of logic, especially modal logics and dynamic logics, for modeling aspects of rational agency—from knowledge, belief, and information to action, intention, and games.