net.sf.tweety.logics.fol.syntax
Classes
AssociativeFOLFormula
Conjunction
Contradiction
Disjunction
EqualityPredicate
Equivalence
ExistsQuantifiedFormula
FOLAtom
FolBeliefSet
FolFormula
FolSignature
ForallQuantifiedFormula
Implication
InequalityPredicate
LogicStructure
Negation
SpecialFormula
Tautology