Alonderis, R., & Giedra, H. (2025). Gentzen-type sequent calculus for modal logic S5. Logic Journal of the IGPL, 33(3), 1. https://doi.org/10.1093/jigpal/jzaf007
Chicago Style (17th ed.) CitationAlonderis, R., and H. Giedra. "Gentzen-type Sequent Calculus for Modal Logic S5." Logic Journal of the IGPL 33, no. 3 (2025): 1. https://doi.org/10.1093/jigpal/jzaf007.
MLA (9th ed.) CitationAlonderis, R., and H. Giedra. "Gentzen-type Sequent Calculus for Modal Logic S5." Logic Journal of the IGPL, vol. 33, no. 3, 2025, p. 1, https://doi.org/10.1093/jigpal/jzaf007.
Warning: These citations may not always be 100% accurate.