Positive logics - Saharon Shelah; Jouko Väänänen (2020)