Cut-free common knowledge

Starting off from the infinitary system for common knowledge over multi-modal epistemic logic presented in Alberucci and J¨ager [1], we apply the finite model property to “finitize” this deductive system. The result is a cut-free, sound and complete sequent calculus for common knowledge.

• Type: Journal
• Year: 2007
• Where: JAPLL
• Authors: Gerhard Jäger, Mathis Kretz, Thomas Studer
• Keywords: Common Knowledge, JAPLL 2007, Multi-modal Epistemic Logic, finite Model Property