Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations.

Wed, 01 Jan 2020 00:00:00 +0100

Christopher Hampson , Stanislav Kikot, Agi Kurucz, Sérgio Marcelino :
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations. Ann. Pure Appl. Log. 171(5): 102786 (2020)