John L. Bell: A representation theory for modal distributive lattices. J. Log. Comput. 35(7) (2025)