| Class | Description |
|---|---|
| FolLanguage |
This class models a first-order language for a given signature.
|
| FolLanguageNoFunctions |
This class models a first-order language without functions.
|
| FolLanguageNoFunctionsOnlyBeginForall |
This class models a first-order language without functions and there may be
only forall-quantifiers at the beginning of the formula.
|
| FolLanguageNoQuantifiers |
This class models a first-order language without quantifiers.
|
| FolLanguageNoQuantifiersNoFunctions |
This class models a first-order language without quantifiers and without functions.
|
| FolLanguagePropositional |
This class represents a classical propositional language, i.e.
|