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

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