Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP article: Epistemic Logic

Email Gateway (Aug 22 2022 at 18:41):

From: Tobias Nipkow <nipkow@in.tum.de>
Epistemic Logic
Andreas Halkjær From

This work is a formalization of epistemic logic with countably many agents. It
includes proofs of soundness and completeness for the axiom system K. The
completeness proof is based on the textbook "Reasoning About Knowledge" by
Fagin, Halpern, Moses and Vardi (MIT Press 1995).

https://www.isa-afp.org/entries/Epistemic_Logic.html

Enjoy!
smime.p7s

Last updated: Nov 21 2024 at 12:39 UTC