Showing math.LOShow all
2 papers · 1 filter
math.LO2016
Algebraic modal correspondence: Sahlqvist and beyond
Willem Conradie, Alessandra Palmigiano, Sumit Sourabh
The present paper proposes a new introductory treatment of the very well known Sahlqvist correspondence theory for classical modal logic. The first motivation for the present treat…
math.LO2016
Sahlqvist theory for impossible worlds
Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
We extend unified correspondence theory to Kripke frames with impossible worlds and their associated regular modal logics. These are logics the modal connectives of which are not r…