Uses of Class
net.sf.tweety.logics.ml.syntax.ModalFormula

Packages that use ModalFormula

Package	Description
net.sf.tweety.logics.ml.syntax

Uses of ModalFormula in net.sf.tweety.logics.ml.syntax

Subclasses of ModalFormula in net.sf.tweety.logics.ml.syntax

Modifier and Type	Class and Description
class	Necessity This class models the necessity modality.
class	Possibility This class models the possibility modality.