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