The following publications are possibly variants of this publication:
- Algorithmic correspondence and completeness in modal logicWillem Conradie, Valentin Goranko. jancl, 18(2-3):175-211, 2008. [doi]
- Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMAWillem Conradie, Valentin Goranko, Dimiter Vakarelov. lmcs, 2(1), 2006. [doi]
- Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with SubstitutionsWillem Conradie, Valentin Goranko, Dimiter Vakarelov. FUIN, 92(4):307-343, 2009. [doi]
- Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMAWillem Conradie, Valentin Goranko, Dimiter Vakarelov. japll, 8(4):319-333, 2010. [doi]
- Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMAWillem Conradie, Valentin Goranko, Dimiter Vakarelov. logcom, 16(5):579-612, 2006. [doi]