Semantics, Logics, and Calculi - Christian W. Probst, Chris Hankin, René Rydhof Hansen (Springer, 2016)