Algorithmic Correspondence and Canonicity for Possibility Semantics

Zhiguang Zhao

The present paper develops a unified correspondence treatment of the Sahlqvist theory for possibility semantics, extending the results in \cite{Ya16} from Sahlqvist formulas to the…