Modalities in Ackermann’s ‘rigorous implication (1959)

by A R Anderson, N D Belnap Jr
Venue:Journal of Symbolic Logic