Modular Models for Intuitionistic Justification Logic

From MaRDI portal
Modular Models for Intuitionistic Justification Logic (scientific article from arXiv)

MaRDI QIDQ7089549arXivFDO

Authors Michel Marti, Thomas Studer

Publication date 2016

Published in arXiv


arXiv classification

math.LO















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 Q7089549)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Modular_Models_for_Intuitionistic_Justification_Logic_(scientific_article_from_arXiv)&oldid=106564334"
Powered by MediaWiki