Laura P. Gamboa Guzman

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 2

Top Topics

Logical Framework

Epistemic Logic

Top Venues

Arch. Formal Proofs

Publications

Laura P. Gamboa Guzman, Kristin Y. Rozier
Stalnaker's Epistemic Logic in Isabelle/HOL. CoRR (2024)
Laura P. Gamboa Guzman
Stalnaker's Epistemic Logic. Arch. Formal Proofs 2022 (2022)