TY  - RPRT
TI  - Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
AU  - Willem Conradie
AU  - Valentin Goranko
AU  - Dimiter Vakarelov
PY  - 2006
DO  - 10.2168/lmcs-2(1:5)2006
UR  - https://arxiv.org/abs/cs/0602024
ID  - cs/0602024
ER  -