Tadeusz Litak On Notions of Completeness Weaker than Kripke Completeness. 149-169 2004 conf/aiml/2004 Advances in Modal Logic http://www.aiml.net/volumes/volume5/Litak.ps db/conf/aiml/aiml2004.html#Litak04