research
∙
05/23/2019
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
Our concern is the axiomatisation problem for modal and algebraic logics...
research
∙
12/15/2018