Distributive differential modals
A differential modal is an algebra with two binary operations such that one of the reducts is a differential groupoid and the other is a semilattice, and with the groupoid operation distributing over the semilattice operation. The aim of this paper is to show that the varieties of entropic and distributive differential modals coincide, and to describe the lattice of varieties of entropic differential modals.