| Copyright | License : GPLv2 or higher, see LICENSE.txt |
|---|---|
| Maintainer | Stability : experimental |
| Portability | This folder contains the files for ExtModal basic specs |
| Safe Haskell | Safe-Inferred |
ExtModal
Description
- 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