Package org.tweetyproject.logics.ml.syntax
package org.tweetyproject.logics.ml.syntax
-
ClassesClassDescriptionThis class models a modal knowledge base, i.e.This class models a modal formula, i.e.This class models the necessity modality.This class models the possibility modality.