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 | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|