The following pages link to Revisiting completeness for the Kn modal logics: a new proof (Q4444913):
Displaying 2 items.