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
Copyright © 1995-2011 The Board of Trustees of The Leland Stanford Junior University. All Rights Reserved.
Inquiries about CSLI may be directed to csli@csli.stanford.edu. Comments about or corrections of the web pages may be directed to csli-webmaster@csli.stanford.edu