%0 Generic %1 Mossakowski04b %A Mossakowski, T. %D 2004 %K CASL logic modal %T ModalCASL - Specification with Multi-Modal Logics. Language Summary %X ModalCASL extends CASL by modal operators. Syntax for ordinary modalities, multi-modal logics as well as term-modal logic (also covering dynamic logic) is provided. Specific modal logics can be obtained via restrictions to sublanguages. This document provides a detailed definition of the ModalCASL syntax and an informal description of the semantics, building on the existing CASL Summary.

@misc{Mossakowski04b, abstract = {ModalCASL extends CASL by modal operators. Syntax for ordinary modalities, multi-modal logics as well as term-modal logic (also covering dynamic logic) is provided. Specific modal logics can be obtained via restrictions to sublanguages. This document provides a detailed definition of the ModalCASL syntax and an informal description of the semantics, building on the existing CASL Summary.}, added-at = {2016-08-05T15:59:03.000+0200}, author = {Mossakowski, T.}, biburl = {https://www.bibsonomy.org/bibtex/2441884dcb44ac492d56757e456585602/tillmo}, interhash = {195eb31177ce8a82b272c6335dab6a3e}, intrahash = {441884dcb44ac492d56757e456585602}, keywords = {CASL logic modal}, pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/Modal-Summary.pdf}, psurl = {http://www.informatik.uni-bremen.de/~till/papers/Modal-Summary.ps}, status = {Other}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {Modal{CASL} - Specification with Multi-Modal Logics. Language Summary}, year = 2004 }