ModalCasl: Specification with Multi-Modal Logics. ModalCASL extends CASL by modal operators. Syntax for ordinary modalities, multi-modal logics as well as term-modal logic (also covering dynamic logic) is provided. Specific modal logics can be obtained via restrictions to sublanguages.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element