{- |
Module :
Description : extended modal logic extension of CASL
Copyright :
License : GPLv2 or higher, see LICENSE.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
recognition of various systems such as S4, S5 etc.
* "ExtModal.ATC_ExtModal" ATerm conversion
the ModalCASL instance of type class 'Logic.Logic.Logic'
-}
module ExtModal where