Logic/General logic/Logics of knowledge and belief

Subject Classification

ACM: Computing methodologies~Reasoning about belief and knowledge

AMS: Mathematical logic and foundations / General logic / Logics of knowledge and belief (including belief change)

2022

Stalnaker's Epistemic Logic

by Laura P. Gamboa Guzman

Sep 23

2021

Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL

by Christoph Benzmüller and Sebastian Reiche

Nov 08

Belief Revision Theory

by Valentin Fouillard, Safouan Taha, Frédéric Boulanger and Nicolas Sabouret

Oct 19

Public Announcement Logic

by Asta Halkjær From

Jun 17

Solution to the xkcd Blue Eyes puzzle

by Maya Kądziołka

Jan 30

2018

Epistemic Logic: Completeness of Modal Logics

by Asta Halkjær From

Oct 29