3 papers
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…
cs.MA2012
Characterizing Successful Formulas: the Multi-agent Case
Sanchit Saraf, Sumit Sourabh
Characterization of successful formulas in Public Announcement Logic (PAL) is a well known open problem in Dynamic Epistemic Logic. Recently, Holliday and ICard have given a comple…