Miranda, B. S., & Studer, T. (2026). Proof Theory for Bimodal Provability Logics.
Chicago Style (17th ed.) CitationMiranda, Borja Sierra, and Thomas Studer. Proof Theory for Bimodal Provability Logics. 2026.
MLA (9th ed.) CitationMiranda, Borja Sierra, and Thomas Studer. Proof Theory for Bimodal Provability Logics. 2026.
Warning: These citations may not always be 100% accurate.