Modal.hs revision c63ebf815c8a874525cf18670ad74847f7fc7b26
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederDescription : folder description
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCopyright : (c) Christian Maeder and Uni Bremen 2006
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMaintainer : Christian.Maeder@dfki.de
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederStability : provisional
43b4c41fbb07705c9df321221ab9cb9832460407Christian MaederPortability : portable (except Modal.Logic_Modal)
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian MaederThis folder contains the files for ModalCASL basic specs
c9a7e6af169a2adfb92f42331cd578065ed83a2bChristian MaederModalCASL is the modal logic extension of CASL. See
c9a7e6af169a2adfb92f42331cd578065ed83a2bChristian Maeder/Heterogeneous specification and the heterogeneous tool set/
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder(<http://www.tzi.de/~till/papers/habil.ps>), section 3.2.
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederThe modules for ModalCASL largely are built on top of those for "CASL",
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederusing the holes for future extensions that have been left in the
a1ed34933c266ce85066acb0d7b20c90cb8eb213Christian Maederdatatypes for CASL.
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettich* "Modal.AS_Modal" abstract syntax
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder* "Modal.Print_AS" pretty printing
bab2d88d650448628730ed3b65c9f99c52500e8cChristian Maeder* "Modal.StatAna" static analysis
ef9e8535c168d3f774d9e74368a2317a9eda5826Christian Maeder* "Modal.ModalSystems" recognition of various systems such as S4, S5 etc.
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder* "Modal.ATC_Modal" ATerm conversion
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder* "Modal.Logic_Modal" the ModalCASL instance of type class 'Logic.Logic.Logic'
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maedermodule Modal where