A modal hyperdoctrine is a framework for modal logic in the presence of different contexts.
It is an hyperdoctrine that is equipped with a compatible modal operator, often a compatible closure operator, hence a universal closure operator.
Around p. 597 of
p. 43 of
Last revised on January 29, 2021 at 20:33:04. See the history of this page for a list of all contributions to it.