Package | Description |
---|---|
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.
|