Shortest axiomatizations of implicational S4 and S5

Cached

Download Links

by Zachary Ernst , Branden Fitelson , Kenneth Harris , Larry Wos
Venue:the Notre Dame Journal of Formal Logic (NDJFL
Citations:1 - 1 self