Shortest axiomatizations of implicational S4 and S5 (0)

by Z Ernst, B Fitelson, K Harris, L Wos
Venue:the Notre Dame Journal of Formal Logic (NDJFL