Documentation

SE.CommonGround

Imports

Init
SE.CommonGround.Fragment.Basic
SE.CommonGround.Logic.Consequence
SE.CommonGround.Logic.JointConsistency
SE.CommonGround.Logic.Propositional
SE.CommonGround.Logic.Semantics
SE.CommonGround.Logic.Vocabulary
SE.CommonGround.Result.Independence
SE.CommonGround.Scope.Dichotomy
SE.CommonGround.Scope.InScope
SE.CommonGround.Scope.Interface

Imported by

Common Ground #

Public import surface for the Structural Explainability Common Ground theory.