Package MAKBPInterpreter.logic

This package defines the basis of the propositionnal logic.

Author:

Guillaume LETELLIER, Corentin PIERRE

Interface Summary

Interface	Description
Formula	Represents the base of all components of the modal and epistemic logic representation.
LogicAssignment	Represents a logic assignment for a formula evaluation.

Class Summary

Class	Description
And	Represents the conjunction of a set of operands.
Atom	Represents an atom, a proposition.
Equivalence	Represents the equivalence of a formula to an other.
Implication	Represents the implication of a formula to an other.
Not	Represents the negation of a formula.
Or	Represents the disjunction of a set of operands.
PropositionalLogicAssignment	Represents an assignment for propositional logic and its extensions