Results in modal correspondence theory for possibility semantics

摘要

This article presents results in modal correspondence theory for possibility semantics, a generalization of Kripke semantics introduced by Humberstone and later developed by Holliday and others. First, it is shown by an algebraic argument that all Sahlqvist formulae have first-order correspondents over possibility frames. Second, model-theoretic aspects of correspondence over possibility frames are examined in the style of van Benthem.