#
nLab

modal hyperdoctrine

### Context

#### Modalities, Closure and Reflection

# Contents

## Idea

A *modal hyperdoctrine* is a framework for modal logic in the presence of different contexts.

A *modal hyperdoctrine* is a hyperdoctrine that is equipped with a compatible modal operator, often a compatible closure operator, hence a universal closure operator.

## References

Around p. 597 of

- P. Blacksburn, J. van Benthem, F. Wolter,
*Handbook of modal logic*, Studies in Logic and Practical reasoning volume 3 (2007)

p. 43 of

- M. Kracht, O. Kutz, ‘Logically Possible Worlds and Counterpart Semantics for Modal Logic’, (pdf)

Last revised on December 7, 2012 at 13:52:58.
See the history of this page for a list of all contributions to it.