Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Stalnaker Logic

Email Gateway (Sep 26 2022 at 10:07):

From: "Thiemann, René" <Rene.Thiemann@uibk.ac.at>
Dear all,

I’m happy to inform you about a new entry in the AFP.

Enjoy,
René

Stalnaker's Epistemic Logic
by Laura P. Gamboa Guzman

This work is a formalization of Stalnaker's epistemic logic with countably many
agents and its soundness and completeness theorems, as well as the equivalence
between the axiomatization of S4 available in the Epistemic Logic theory and the
topological one. It builds on the Epistemic Logic theory.

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

Last updated: Feb 05 2025 at 16:23 UTC