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