net.sf.tweety.logics.el.syntax
Classes
ModalFormula
Necessity
Possibility