net.sf.tweety.logics.fol.syntax

Classes

• AssociativeFOLFormula
• Conjunction
• Contradiction
• Disjunction
• ExistsQuantifiedFormula
• FOLAtom
• FolFormula
• FolSignature
• ForallQuantifiedFormula
• LogicStructure
• Negation
• QuantifiedFormula
• RelationalFormula
• SpecialFormula
• Tautology