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