Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays - Probst, Christian W.; Hankin, Chris; Hansen, René Rydhof (Springer International Publishing : Imprint: Springer, 2016)