Package net.sf.tweety.logics.el.syntax

Class Summary

Class	Description
ModalFormula	This class models a modal formula, i.e.
Necessity	This class models the necessity modality.
Possibility	This class models the possibility modality.