Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch
English
 

Publications Search - Details

 
Publication type: Miscellanous
Author: T. Mossakowski
Title: ModalCASL - Specification with Multi-Modal Logics. Language Summary
Year published: 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.
PDF Version: http://www.informatik.uni-bremen.de/~till/papers/Modal-Summary.pdf
PostScript Version: http://www.informatik.uni-bremen.de/~till/papers/Modal-Summary.ps
Keywords: modal logic CASL
Status: Other
Last updated: 03. 02. 2006

 Back to result list
 
   
Author: Automatically generated page
 
  Group BKB 
Last updated: May 9, 2023   impressum