Kürbis, N; (2020) A Sketch of a Proof-Theoretic Semantics for Necessity. In: Negri, S and Olivetti, N and Verbrugge, R, (eds.) Short Papers: Advances in Modal Logic, AiML 2020. (pp. pp. 37-43). Helsinki University: Helsinki, Finland.