Theory of Knowledge in Isabelle
Overview
X-Logic metamodel no.2