The expressive power of modal logic with inclusion atoms. - Lauri Hella; Johanna Stumpf (GandALF, 2015)