{- |

Module : $Id$

Description : modal logic extension of CASL

Copyright : (c) Christian Maeder and Uni Bremen 2006

License : GPLv2 or higher, see LICENSE.txt

Maintainer : Christian.Maeder@dfki.de

Stability : provisional

Portability : portable (except Modal.Logic_Modal)

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.

* "Modal.AS_Modal" abstract syntax

* "Modal.Parse_AS" parser

* "Modal.Print_AS" pretty printing

* "Modal.ModalSign" signatures

* "Modal.StatAna" static analysis

* "Modal.ModalSystems" recognition of various systems such as S4, S5 etc.

* "Modal.ATC_Modal" ATerm conversion

* "Modal.Logic_Modal" the ModalCASL instance of type class 'Logic.Logic.Logic'

-}

module Modal where