On structural proof theory of the modal logic K+ extended with infinitary derivations

MaRDI QIDQ6455348zbMATH OpenFDO

Authors Daniyar Shamkanov

Publication date 16 October 2023

This page was built for publication: On structural proof theory of the modal logic K+ extended with infinitary derivations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6455348)