Package org.episteme.core.mathematics.logic.modal

package org.episteme.core.mathematics.logic.modal

Related Packages

Package	Description
org.episteme.core.mathematics.logic

Class	Description
KripkeStructure<T>	Represents a Kripke structure for modal logic semantics.
ModalLogic<T>	Modal logic for reasoning about necessity and possibility.
ModalOperator	Standard modal operators.
PossibleWorlds<W,P>	Represents possible worlds semantics for modal logic.