Logical Dynamics of Information and Interaction (Alexandru Baltag, Sonja Smets).The website includes links to slides for the course, which took place at ESSLLI 2012 in Opole, Poland, 2012. Interactive learning, formal social epistemology and group belief dynamics: logical, probabilistic and game-theoretic models (Alexandru Baltag, Sonja Smets).The website includes links to slides and suggested reading for the course, which took place at EASLLC 2012 in Southwest University, Chongqing, China, 2012. Logics for Rational Agency (Fenrong Liu).Slides for the course, which took place at NASSLLI 2014 in the University of Maryland, Maryland, USA, 2014. Dynamic Logics for Formal Epistemology (Alexandru Baltag, Sonja Smets, Bryan Renne).The website includes links to slides for the course, which took place at EASLLC 2014 in Tsinghua University, Beijing, China, 2014. Dynamic Logics for Formal Epistemology (Alexandru Baltag, Sonja Smets).The website includes links to slides, exercises, solved exercises and references for the course, which took place at the Logic and Agency tutorial in Tsinghua University, Beijing, China, 2015. Dynamic Epistemic Model Checking (Jan van Eijck, Malvin Gattinger).Lecture notes and slides for the course, which took place at ESSLLI 2015 Summer School in Barcelona, Spain, 2015. Epistemic Dynamics for Non-ideal Agents (Fernando R.Reading material for the course, which took place at NASSLLI 2016 Summer School in Rutgers University, New Jersey, USA, 2016. Logic, Agency and Games (Johan van Benthem).The website includes references and links to slides and exercises for the course, which took place at The Department of Philosophy at Hokkaido University, Sapporo, Japan, 2016. Dynamic Epistemic Logic and its Applications (Alexandru Baltag, Sonja Smets).Course at the ILLC, University of Amsterdam, 2016. Dynamic Epistemic Logic (Alexandru Baltag).Course at the ILLC, University of Amsterdam, 2017. Logic in Action: A New Introduction to Logic.An open course in logic, providing a modern introduction to the field of logic with topics reflecting both its mathematical essentials and a broad view of its interdisciplinary role.
Logic in Action (Johan van Benthem, Hans van Ditmarsch, Jan van Eijck, Jan Jaspars).A graphical semantic calculator for modal propositional logic, built using D3, MathJax, and Bootstrap. Modal Logic Playground (Ross Kirsling).
#Modal logic playground update
DEMO is a Dynamic Epistemic Modelling tool which allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation in epistemic models, translation of dynamic epistemic formulas to PDL formulas, and so on. Dynamic Epistemic Modelling (Jan van Eijck).At its core is a translation of epistemic and dynamic formulas to boolean formulas which are represented as Binary Decision Diagrams (BDDs). SMCDEL, a symbolic model checker for Dynamic Epistemic Logic (DEL) implemented in Haskell. Symbolic Model Checking for Dynamic Epistemic Logic (Malvin Gattinger).Epistemic Logic for AI and Computer Science ( John-Jules Ch.Reasoning About Knowledge ( Ronald Fagin, Joseph Y.Dynamic Epistemic Logic ( Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi).Modal Logic for Open Minds ( Johan van Benthem).Logical Dynamics of Information and Interaction ( Johan van Benthem).Neighborhood Semantics for Modal Logic.