Intuitionistic Monotone Modal Logic: Proof Theory and Semantics

From MaRDI portal

MaRDI QIDQ7329784arXivFDO

Authors Tiziano Dalmonte, Jim de Groot

Publication date 2026

Published in arXiv


arXiv classification

cs.LO















This page was built for publication: Intuitionistic Monotone Modal Logic: Proof Theory and Semantics

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Intuitionistic_Monotone_Modal_Logic:_Proof_Theory_and_Semantics&oldid=107841857"
Powered by MediaWiki