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

Tue, 01 Jan 2019 00:00:00 +0100

Christopher Hampson, Stanislav Kikot, Agi Kurucz, Sérgio Marcelino:
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations. CoRR abs/1905.09536 (2019)