View of Cut-Free Sequent Calculus for Multi-Agent Logic of Common Knowledge

Return to Issue Details Cut-Free Sequent Calculus for Multi-Agent Logic of Common Knowledge Download Download PDF