A constructive presentation for the modal connective of necessity (1992)

by Mario R F Benevides, Thomas S E Maibaum
Venue:Journal of Logic and Computation