FB 3

AG BKB > Publikationen > Suche >

Deutsch
English

Suche nach Veröffentlichungen - Detailansicht

Art der Veröffentlichung:	Sonstige
Autor:	T. Mossakowski
Titel:	Modal{CASL} - Specification with Multi-Modal Logics. Language Summary
Erscheinungsjahr:	2004
Abstract / Kurzbeschreibung:	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
Schlagworte:	modal logic CASL
Status:	Other
Letzte Aktualisierung:	03. 02. 2006

Zurück zum Suchergebnis

Autor: Automatisch generierte Seite

AG BKB

Zuletzt geändert am: 9. Mai 2023