Uses of Class
org.tweetyproject.logics.ml.semantics.AccessibilityRelation

Packages that use AccessibilityRelation

Package	Description
org.tweetyproject.logics.ml.semantics

Uses of AccessibilityRelation in org.tweetyproject.logics.ml.semantics

Constructors in org.tweetyproject.logics.ml.semantics with parameters of type AccessibilityRelation

Modifier	Constructor	Description
	KripkeModel(Set<? extends Interpretation<FolBeliefSet,FolFormula>> possibleWorlds, AccessibilityRelation accRelation)	Creates a new Kripke model.