Package org.tweetyproject.logics.ml.syntax

package org.tweetyproject.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.