Copyright	(c) Till Mossakowski and Uni Bremen 2004
License	GPLv2 or higher, see LICENSE.txt
Maintainer	till@informatik.uni-bremen.de
Stability	provisional
Portability	non-portable (imports Logic.Logic)
Safe Haskell	None

Comorphisms.CspCASL2Modal

Description

The embedding comorphism from CspCASL to ModalCASL. It keeps the CASL part and interprets the CspCASL LTS semantics as Kripke structure

Synopsis

Documentation

The identity of the comorphism

Constructors

Show CspCASL2Modal
Language CspCASL2Modal
Comorphism CspCASL2Modal CspCASL () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol () Modal () M_BASIC_SPEC ModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS MSign ModalMor Symbol RawSymbol ()