I will be talking about a property of some modal logics called internal adjointness. A modal logic is internally adjoint if every finite set of formulas P has a finite set of formulas Q which exactly axiomatise the formulas which must be true at a world accessable from a world satisfying P. We will show that some propositional modal logics are internally adjoint, that some are not, and that...