Common knowledge logic and game logic

Mathematics

• Common Knowledge 100%
• Faithful 68%
• Game 54%
• Logic 52%
• Cut-elimination 41%
• Sequent Calculus 40%
• Embedding Theorem 39%
• Style 33%
• Fragment 33%
• Strategy 23%
• Formulation 21%

Arts & Humanities

• Common Knowledge 80%
• Nash Equilibrium 53%
• Conservative Extension 49%
• Cut-elimination 46%
• Gentzen 46%
• Sequent Calculus 43%
• Logic 38%