LDL research in logic covers a range from theory to applications, with an outreach interest to philosophy, computation and cognition. Current topics include information-driven agency, causal inference, reasoning in natural language, and interfaces of logic and probability.
Active participants in the LDL since its founding:
Tomohiro Hoshi (PhD 2009), https://onlinehighschool.stanford.edu/people/tomohiro-hoshi
Patrick Girard (PhD 2009), http://www.arts.auckland.ac.nz/people/pgir006
Wesley Holliday (PhD 2012), https://philosophy.berkeley.edu/holliday
Shane Steinert-Threlkeld (PhD 2016), https://www.shane.st/
Peter Hawke (PhD 2017), https://sites.google.com/site/peterhawke/
Krzysztof Mierzewski (PhD 2020), https://krzysztof-mierzewski.squarespace.com
Francesca Zaffora Blando (PhD 2020), https://www.cmu.edu/dietrich/philosophy/people/faculty/francesca-zaffora...
Michael Cohen (PhD current), https://michaelcohen.su.domains/
Duligur Ibeling (PhD current), https://web.stanford.edu/~duligur/
Declan Thompson (PhD current), http://stanford.edu/~declan/
A selection from ongoing projects, with some characteristic publications.
New logical models of information and dependence. https://eprints.illc.uva.nl/1733/
WILL ADD THE NEW TOPOLOGICAL VERSION SOON.
Logical structures in games. https://mitpress.mit.edu/books/logic-games, https://pure.uva.nl/ws/files/45644769/A_new_game_equivalence.pdf
Qualitative and quantitative reasoning: interfacing logic and arithmetic.
LINK TO NEW PAPER JOHAN & THOMAS.
A topological perspective on causal inference.
LINK COMING SOON.
Axiomatization in the meaning sciences. https://philpapers.org/rec/HOLAIT-11
Calibrating generative models: the probabilistic Chomsky-Schützenberger hierarchy. https://philpapers.org/archive/ICACGM.pdf
Group in Logic and Methodology, UC Berkeley,
Institute for Logic, Language and Information (ILLC), Amsterdam,
Joint Research Center for Logic, Tsinghua University, Beijing,
Causal AI Lab, Columbia University,
CSLI Workshops on Logic, Rationality and Intelligent Interaction,
The annual Logic Seminars at Stanford offer an entry point for
students interested in the research themes of the LDL,