| AbstractGraphLdoModality |
Provides common functionalities for the graph-based modalities in LDO.
|
| AbstractLdoModality |
Provides common functionalities for all modalities in LDO.
|
| LdoArgument |
This class represents an argument in ldo.
|
| LdoAssociativeFormula |
This class captures the common functionalities of formulas with an associative
operation like conjunction, disjunction, etc.
|
| LdoBoxModality |
|
| LdoConjunction |
This class represents a conjunction in ldo logic.
|
| LdoDiamondModality |
|
| LdoDisjunction |
This class represents a disjunction in ldo logic.
|
| LdoFormula |
This abstract class specifies the general methods of all Ldo-formulas
(LDO - Logic of dialectical outcomes, cf.
|
| LdoGraphBoxModality |
|
| LdoGraphDiamondModality |
|
| LdoNegation |
This class models classical negation of ldo logic.
|
| LdoRelation |
Creates a relational formula, i.e.
|