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