[BibTeX] [RIS]
Modal{CASL} - Specification with Multi-Modal Logics. Language Summary
Type of publication: Misc
Citation: Mossakowski04b
Year: 2004
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.
Userfields: pdfurl={http://www.informatik.uni-bremen.de/~till/papers/Modal-Summary.pdf}, project={I4-SPIN}, psurl={http://www.informatik.uni-bremen.de/~till/papers/Modal-Summary.ps}, status={Other},
Keywords: modal logic CASL
Authors Mossakowski, T.
  • http://www.informatik.uni-brem...
  • http://www.informatik.uni-brem...