Base-extension semantics for modal logic. - Eckhardt, Timo; Pym, David J (Logic Journal of the IGPL, 2025)