Package net.sf.tweety.logics.ml.semantics

Class Summary

Class	Description
AccessibilityRelation	This class models an accessibility relation for Kripke models.
KripkeModel	This class models a Kripke model, i.e.
MlHerbrandBase	Modified version of HerbrandBase that allows for modal formulas.
MlHerbrandInterpretation	Modified version of HerbrandInterpretation that allows for modal formulas.