Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL
by Christoph Benzmüller and Sebastian Reiche
Logic/General Logic/Logics of Knowledge and Belief
2021
Belief Revision Theory
by Valentin Fouillard, Safouan Taha, Frédéric Boulanger and Nicolas Sabouret
2018
Epistemic Logic: Completeness of Modal Logics
by Asta Halkjær From