APA (7th ed.) Citation

Guzman, L. P. G., & Rozier, K. Y. (2024). Stalnaker's Epistemic Logic in Isabelle/HOL.

Chicago Style (17th ed.) Citation

Guzman, Laura P. Gamboa, and Kristin Y. Rozier. Stalnaker's Epistemic Logic in Isabelle/HOL. 2024.

MLA (9th ed.) Citation

Guzman, Laura P. Gamboa, and Kristin Y. Rozier. Stalnaker's Epistemic Logic in Isabelle/HOL. 2024.

Warning: These citations may not always be 100% accurate.