Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA.

Willem Conradie Valentin Goranko Dimiter Vakarelov Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. 2006 2 Logical Methods in Computer Science 1 http://dx.doi.org/10.2168/LMCS-2(1:5)2006 db/journals/lmcs/lmcs2.html#ConradieGV06