Hets - the Heterogeneous Tool Set
Copyright(c) Christian Maeder and Uni Bremen 2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable (except Modal.Logic_Modal)
Safe HaskellSafe

Modal

Description

This folder contains the files for ModalCASL basic specs

ModalCASL is the modal logic extension of CASL. See Heterogeneous specification and the heterogeneous tool set (http://www.informatik.uni-bremen.de/~till/papers/habil.ps), section 3.2.

The modules for ModalCASL largely are built on top of those for CASL, using the holes for future extensions that have been left in the datatypes for CASL.