MoL-2015-18: Frederik Möllerström Lauridsen One-Step Algebras and Frames for Modal and Intuitionistic Logics 1.Full Text, 2.Abstract. < Back