Conradie, Willem; Goranko, Valentin Algorithmic correspondence for relevance logics. I: The algorithm \(\mathsf{PEARL}\). (English) Zbl 07469207 Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 163-211 (2022). MSC: 03Bxx 03Gxx PDFBibTeX XMLCite \textit{W. Conradie} and \textit{V. Goranko}, Outst. Contrib. Log. 22, 163--211 (2022; Zbl 07469207) Full Text: DOI
Conradie, Willem; Palmigiano, Alessandra; Zhao, Zhiguang Sahlqvist via translation. (English) Zbl 1515.03091 Log. Methods Comput. Sci. 15, No. 1, Paper No. 15, 35 p. (2019). MSC: 03B45 03G25 PDFBibTeX XMLCite \textit{W. Conradie} et al., Log. Methods Comput. Sci. 15, No. 1, Paper No. 15, 35 p. (2019; Zbl 1515.03091) Full Text: arXiv
Conradie, Willem; Palmigiano, Alessandra; Sourabh, Sumit Algebraic modal correspondence: Sahlqvist and beyond. (English) Zbl 1521.03031 J. Log. Algebr. Methods Program. 91, 60-84 (2017). MSC: 03B45 PDFBibTeX XMLCite \textit{W. Conradie} et al., J. Log. Algebr. Methods Program. 91, 60--84 (2017; Zbl 1521.03031) Full Text: DOI arXiv
Georgiev, Dimiter T. Deterministic SQEMA and application for pre-contact logic. (English) Zbl 1474.03074 God. Sofiĭ. Univ., Fak. Mat. Inform. 103, 149-176 (2016). MSC: 03B45 PDFBibTeX XMLCite \textit{D. T. Georgiev}, God. Sofiĭ. Univ., Fak. Mat. Inform. 103, 149--176 (2016; Zbl 1474.03074) Full Text: Link
Conradie, Willem; Goranko, Valentin; Vakarelov, Dimitar Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. (English) Zbl 1214.03011 J. Appl. Log. 8, No. 4, 319-333 (2010). MSC: 03B35 03B45 PDFBibTeX XMLCite \textit{W. Conradie} et al., J. Appl. Log. 8, No. 4, 319--333 (2010; Zbl 1214.03011) Full Text: DOI