{- |

Module :

Description : extended modal logic extension of CASL

Copyright :

License : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt

Maintainer :

Stability : experimental

Portability :

This folder contains the files for ExtModal basic specs

* "ExtModal.AS_ExtModal" abstract syntax

* "ExtModal.Parse_AS" parser

* "ExtModal.Print_AS" pretty printing

* "ExtModal.ExtModalSign" signatures

* "ExtModal.StatAna" static analysis

* "ExtModal.ExtModalSystems"

recognition of various systems such as S4, S5 etc.

* "ExtModal.ATC_ExtModal" ATerm conversion

* "ExtModal.Logic_ExtModal"

the ModalCASL instance of type class 'Logic.Logic.Logic'

-}

module ExtModal where