TY  - RPRT
TI  - Stalnaker's Epistemic Logic in Isabelle/HOL
AU  - Laura P. Gamboa Guzman
AU  - Kristin Y. Rozier
PY  - 2024
DO  - 10.4204/eptcs.402.4
UR  - https://arxiv.org/abs/2404.14919
ID  - 2404.14919
ER  -