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.
|