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

Modal.ModalSign

Description

Signatures for modal logic, as extension of CASL signatures.

Documentation

Constructors

ModalSign
Fields flexOps :: OpMap flexPreds :: PredMap modies :: Map SIMPLE_ID [AnModFORM] termModies :: Map Id [AnModFORM]

Instances

Eq ModalSign
Data ModalSign
Ord ModalSign
Show ModalSign
ShATermConvertible ModalSign
Pretty ModalSign
SignExtension ModalSign
Typeable * ModalSign
Sentences Modal ModalFORMULA MSign ModalMor Symbol
StaticAnalysis Modal M_BASIC_SPEC ModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS MSign ModalMor Symbol RawSymbol
Logic Modal () M_BASIC_SPEC ModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS MSign ModalMor Symbol RawSymbol ()
Comorphism CASL2Modal CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Modal () M_BASIC_SPEC ModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS MSign ModalMor Symbol RawSymbol ()
Comorphism Modal2CASL Modal () M_BASIC_SPEC ModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS MSign ModalMor Symbol RawSymbol () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree
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 ()

interMap :: Ord a => ([b] -> [b] -> [b]) -> Map a [b] -> Map a [b] -> Map a [b]