The elimination theorem when modality is present (1952)

by Haskell B Curry
Venue:The Journal of Symbolic Logic