The following pages link to Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538):
Displayed 1 item.