Text this: Base-extension semantics for modal logic.