Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge.

Kai Obendrauf, Anne Baanen, Patrick Koopmann, Vera Stebletsova

Browse the full ITP paper archive.