MoL-2021-20: Quentin Gougeon The Expressive Power of Derivational Modal Logic 1.Full Text, 2.Abstract. < Back