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

Packages that use net.sf.tweety.logics.ml.semantics

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

Classes in net.sf.tweety.logics.ml.semantics used by net.sf.tweety.logics.ml.semantics

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