PP-2017-05: Sebastian Enqvist, Yde Venema Disjunctive bases: normal forms for modal logics 1.Full Text, 2.Abstract. < Back
