Steven Awodey, Jesse Hughes: Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem. Math. Struct. Comput. Sci. 13(2): 233-258 (2003)