Modular Models for Intuitionistic Justification Logic

From MaRDI portal

MaRDI QIDQ6272867zbMATH OpenFDO

Authors Michel Marti, Thomas Studer

Publication date 25 April 2016




Abstract: We present the logic iJT4, which is an explicit version of intuitionistic S4 and establish soundness and completeness with respect to modular models.














This page was built for publication: Modular Models for Intuitionistic Justification Logic

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

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