Proceedings
Thomas Piecha and Peter Schroeder-Heister (eds),
Advances in Proof-Theoretic Semantics
,
Trends in Logic 43
, Springer 2016.