Logical Dynamics Lab


The Logical Dynamics Lab (LDL) is a research group at the Center for the Study of Language and Information (CSLI), supervised by Prof. Johan van Benthem (Amsterdam/Stanford). Members of LDL are current and former students and researchers at Stanford University. 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.