Uses of Package
org.tweetyproject.logics.ml.semantics

Packages that use org.tweetyproject.logics.ml.semantics

Package	Description
org.tweetyproject.logics.ml.semantics

Classes in org.tweetyproject.logics.ml.semantics used by org.tweetyproject.logics.ml.semantics

Class	Description
AccessibilityRelation	This class models an accessibility relation for Kripke models.
MlHerbrandInterpretation	Modified version of HerbrandInterpretation that allows for modal formulas.