Algebraic modal correspondence: Sahlqvist and beyond

DOI10.1016/j.jlamp.2016.10.006zbMath1521.03031arXiv1606.06881MaRDI QIDQ6274851

Alessandra Palmigiano, Willem Conradie, Sumit Sourabh

Publication date: 22 June 2016

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)