Hets - the Heterogeneous Tool Set

Copyright(c) DFKI 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

ExtModal.Sublogic

Description

Sublogics for ExtModal Logic

Synopsis

Documentation

data Frequency

Constructors

None 
One 
Many 

Instances

data Sublogic

Constructors

Sublogic 

Fields

hasModalities :: Frequency
 
hasTermMods :: Bool
 
hasTransClos :: Bool
 
hasNominals :: Bool
 
hasTimeMods :: Frequency
 
hasFixPoints :: Bool
 
hasFrameAxioms :: Bool
 

Instances

Eq Sublogic 
Data Sublogic 
Ord Sublogic 
Show Sublogic 
ShATermConvertible Sublogic 
Lattice Sublogic 
NameSL Sublogic 
Typeable * Sublogic 
ProjForm Sublogic EM_FORMULA 
MinSL Sublogic EM_FORMULA 
MinSL Sublogic EM_SIG_ITEM 
MinSL Sublogic EM_BASIC_ITEM 
MinSL Sublogic EModalSign 
ProjSigItem Sublogic EM_SIG_ITEM EM_FORMULA 
ProjBasic Sublogic EM_BASIC_ITEM EM_SIG_ITEM EM_FORMULA 
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 

maxSublogic :: Sublogic

botSublogic :: Sublogic

foleml :: Sublogic

the sublogic that can be translated to FOL

joinSublogic :: Sublogic -> Sublogic -> Sublogic

joinSublogics :: [Sublogic] -> Sublogic

type ExtModalSL = CASL_SL Sublogic

minSublogicOfForm :: FORMULA EM_FORMULA -> ExtModalSL

minSublogicOfTerm :: TERM EM_FORMULA -> ExtModalSL

minSublogicOfMod :: MODALITY -> ExtModalSL

minSublogicOfPrefix :: FormPrefix -> ExtModalSL

minSublogicOfEM :: EM_FORMULA -> ExtModalSL

minSublogicOfModDefn :: ModDefn -> ExtModalSL

minSublogicEMSign :: EModalSign -> ExtModalSL

minSublogicEMBasic :: EM_BASIC_ITEM -> ExtModalSL

minSLExtSigItem :: EM_SIG_ITEM -> [ExtModalSL]

setModalities :: [a] -> Sublogic -> Sublogic

setTermMods :: Bool -> Sublogic -> Sublogic

setTimeMods :: Bool -> [a] -> Sublogic -> Sublogic

minMod :: Bool -> Frequency -> Frequency

sublogicsDim :: [[Sublogic]]

sublogName :: Sublogic -> String

parseSublog :: String -> (Sublogic, String)