Axiomatizing first order consequences in inclusion logic Article in Mathematical Logic Quarterly (June 2020)