E. Pacuit (2017). Neighborhood Semantics for Modal Logic, Springer