@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
}