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 http://arxiv.org/abs/cs/0602024 2006 CoRR abs/cs/0602024 db/journals/corr/corr0602.html#abs-cs-0602024