A cut free tableau calculus for the logic of common knowledge

Title	A cut free tableau calculus for the logic of common knowledge
Publication Type	Manuscript
Year of Publication	2006
Authors	Abate P, Gore R
URL	papers-download/lck.pdf

Pietro Abate homepage