Clemens Kupke Alexander Kurz Yde Venema Completeness of the finitary Moss logic. 193-217 2008 Advances in Modal Logic http://www.aiml.net/volumes/volume7/Kupke-Kurz-Venema.pdf conf/aiml/2008 db/conf/aiml/aiml2008.html#KupkeKV08