A Tableau Algorithm for the Clique Guarded Fragment
Colin Hirsch, Stephan Tobies · Advances in Modal Logic · 2002
this paper, we generalise the principles from tableau algorithms for modal logics in order to develop a tableau algorithm for CGF. To the best of our knowledge, this is the rst algorithm for CGF that can be used as the basis for an ecient implementation