Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, b...

A group of 100 prisoners, all together in the prison dining area, are told that they will be all ...

Modal logic is a subject with ancient roots in the western logical tradition. Up until the last f...

Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, b...