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

Class Summary

Class	Description
MlBeliefSet	This class models a modal knowledge base, i.e.
MlFormula	This class models a modal formula, i.e.
Necessity	This class models the necessity modality.
Possibility	This class models the possibility modality.