A Constructive Presentation for the Modal Connective of Necessity (\Box).

Mario R. F. Benevides T. S. E. Maibaum A Constructive Presentation for the Modal Connective of Necessity (\Box). 31-50 1992 2 J. Log. Comput. 1 db/journals/logcom/logcom2.html#BenevidesM92