Copyright	DFKI GmbH 2009
License	GPLv2 or higher, see LICENSE.txt
Maintainer	codruta.liliana@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred

ExtModal.ExtModalSign

Description

Signatures for extended modal logic as extension of CASL signatures. In contrast to theoretical descriptions we keep separate sets of the flexible operations to ensure that operations i.e. from CASL free types are rigid by default.

Documentation

data EModalSign

Constructors

EModalSign
Fields flexOps :: OpMap flexPreds :: PredMap modalities :: Set Id timeMods :: Set Id termMods :: Set Id nominals :: Set Id

Instances

Eq EModalSign
Data EModalSign
Ord EModalSign
Show EModalSign
ShATermConvertible EModalSign
Pretty EModalSign
SignExtension EModalSign
Typeable * EModalSign
MorphismExtension EModalSign MorphExtension
MinSL Sublogic EModalSign
Sentences ExtModal ExtModalFORMULA ExtModalSign ExtModalMorph Symbol
StaticAnalysis ExtModal EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol
Logic ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
Comorphism CASL2ExtModal CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
Comorphism ExtModal2CASL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree
Comorphism ExtModal2ExtModalNoSubsorts ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
Comorphism ExtModal2ExtModalTotal ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol ()
Comorphism ExtModal2HasCASL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol ()
Comorphism ExtModal2OWL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree

nomPType :: PredType

nomPId :: Token -> Id

correctSign :: Sign f EModalSign -> Sign f EModalSign

emptyEModalSign :: EModalSign

addEModalSign :: EModalSign -> EModalSign -> EModalSign

interEModalSign :: EModalSign -> EModalSign -> EModalSign

diffEModalSign :: EModalSign -> EModalSign -> EModalSign

isSubEModalSign :: EModalSign -> EModalSign -> Bool