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