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