Natasha Alechina Dmitry Shkatov Logics with an existential modality. 31-48 2006 conf/aiml/2006 Advances in Modal Logic http://www.aiml.net/volumes/volume6/Alechina-Shkatov.ps db/conf/aiml/aiml2006.html#AlechinaS06