Alonderis, R. Multi-succedent sequent calculus for intuitionistic epistemic logic. Vilnius University Press.
Chicago Style (17th ed.) CitationAlonderis, Romas. Multi-succedent Sequent Calculus for Intuitionistic Epistemic Logic. Vilnius University Press.
MLA (9th ed.) CitationAlonderis, Romas. Multi-succedent Sequent Calculus for Intuitionistic Epistemic Logic. Vilnius University Press.
Warning: These citations may not always be 100% accurate.