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