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.