Arnon Avron on Semantics and Proof Theory of Non-Classical Logics - Arieli, Ofer; Zamansky, Anna (Springer, 2021)