Package org.tweetyproject.logics.ml.semantics

package org.tweetyproject.logics.ml.semantics

Related Packages

Package	Description
org.tweetyproject.logics.ml
org.tweetyproject.logics.ml.examples
org.tweetyproject.logics.ml.parser
org.tweetyproject.logics.ml.reasoner
org.tweetyproject.logics.ml.syntax
org.tweetyproject.logics.ml.writer

Classes

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.