Steven Awodey Jesse Hughes Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem. 233-258 2003 13 Mathematical Structures in Computer Science 2 db/journals/mscs/mscs13.html#AwodeyH03