APA (7th ed.) Citation

Miranda, B. S., & Studer, T. (2026). Proof Theory for Bimodal Provability Logics.

Chicago Style (17th ed.) Citation

Miranda, Borja Sierra, and Thomas Studer. Proof Theory for Bimodal Provability Logics. 2026.

MLA (9th ed.) Citation

Miranda, Borja Sierra, and Thomas Studer. Proof Theory for Bimodal Provability Logics. 2026.

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