Package jtabwbx.modal.basic

Basic classes and interfaces for propositional modla formulas.

See: Description

Interface Summary

Interface	Description
_ModalFormula	Interface describing modal formulas on the set of connectives ModalConnective.
_ModalFormulaSet	Interface to be implemented by sets of modal formulas.

Enum Summary

Enum	Description
ModalConnective	The basic modal connectives.
ModalFormulaType	The types of propositional formulas represented by formulas implemented by ModalFormula.

Package jtabwbx.modal.basic Description

Basic classes and interfaces for propositional modla formulas.

Author:

Mauro Ferrari