Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions.

Willem Conradie Valentin Goranko Dimiter Vakarelov Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions. 307-343 2009 92 Fundam. Inform. 4 http://iospress.metapress.com/content/f526mp68146414tv/ db/journals/fuin/fuin92.html#ConradieGV09