Labelled calculi for lattice-based modal logics

arXiv2401.09887MaRDI QIDQ6517923

Giuseppe Greco, Krishna Manoorkar, Author name not available (Why is that?), Alessandra Palmigiano, Andrea de Domenico, Ineke van der Berg

This page was built for publication: Labelled calculi for lattice-based modal logics

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