Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248)

This paper gives versions and extensions of intuitionistic and modal logics in terms of structured categories. A characteristic feature is that these categories have, as part of their structure, a given subcategory to be thought of as the category of constant sorts. In particular, the authors are led to an axiomatization of the ``logic of constant sets among variable sets''. Thus, the results reach beyond traditional versions of modal logic, since the necessity operator is applicable only to predicates whose free variables range over constant sorts. Besides some standard model theory, the authors utilize a far-reaching categorical technique, reminiscent of Stone duality, with respect not to the Boolean algebra 2, but to the category of sets, or presheaf categories, or even pairs of such, depending on the particular class (doctrine) of logics under consideration. This leads to a technically simple discussion of relationships between such logics, including results asserting that certain of these logics are conservatively interpretable in others.