c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenk{- |

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenkModule :

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenkDescription : extended modal logic extension of CASL

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenkCopyright :

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenkLicense : GPLv2 or higher, see LICENSE.txt

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenk

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenkMaintainer :

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenkStability : experimental

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenkPortability :

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenk

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenkThis folder contains the files for ExtModal basic specs

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenk

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenk* "ExtModal.AS_ExtModal" abstract syntax

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenk

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenk* "ExtModal.Parse_AS" parser

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenk

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenk* "ExtModal.Print_AS" pretty printing

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenk

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenk* "ExtModal.ExtModalSign" signatures

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenk

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenk* "ExtModal.StatAna" static analysis

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenk

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenk* "ExtModal.ExtModalSystems"

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenk recognition of various systems such as S4, S5 etc.

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenk

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenk* "ExtModal.ATC_ExtModal" ATerm conversion

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenk

c1350cf5bc50458ba79cc93ff9e0e5fe3f1aeeb0jeff.schenk* "ExtModal.Logic_ExtModal"

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

-}

module ExtModal where