Class Summary Class Description AbstractGraphLdoModalityProvides common functionalities for the graph-based modalities in LDO. AbstractLdoModalityProvides common functionalities for all modalities in LDO. LdoArgumentThis class represents an argument in ldo. LdoAssociativeFormulaThis class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc. LdoBoxModality LdoConjunctionThis class represents a conjunction in ldo logic. LdoDiamondModality LdoDisjunctionThis class represents a disjunction in ldo logic. LdoFormulaThis abstract class specifies the general methods of all Ldo-formulas (LDO - Logic of dialectical outcomes, cf. LdoGraphBoxModality LdoGraphDiamondModality LdoNegationThis class models classical negation of ldo logic. LdoRelationCreates a relational formula, i.e.