%0 Journal Article %A Kürbis, Nils %D 2015 %I Springer Verlag %J Journal of Philosophical Logic %N 6 %P 713-727 %T Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality %V 44