Kawano, T. (2024). Nested-sequent Calculus for Modal Logic MB.
Chicago Style (17th ed.) CitationKawano, Tomoaki. Nested-sequent Calculus for Modal Logic MB. 2024.
MLA (9th ed.) CitationKawano, Tomoaki. Nested-sequent Calculus for Modal Logic MB. 2024.
Warning: These citations may not always be 100% accurate.