Return to Article Details Two complete finitary sequent calculi for reflexive common knowledge
Download