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

arXiv2310.10309MaRDI QIDQ6455348FDOQ6455348

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)