Copyright | (c) DFKI 2012 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Christian.Maeder@dfki.de |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
ExtModal.Sublogic
Description
Sublogics for ExtModal Logic
- data Frequency
- data Sublogic = Sublogic {
- hasModalities :: Frequency
- hasTermMods :: Bool
- hasTransClos :: Bool
- hasNominals :: Bool
- hasTimeMods :: Frequency
- hasFixPoints :: Bool
- hasFrameAxioms :: Bool
- maxSublogic :: Sublogic
- botSublogic :: Sublogic
- foleml :: Sublogic
- 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)
Documentation
Constructors
Sublogic | |
Fields
|
Instances
joinSublogics :: [Sublogic] -> Sublogic Source #
type ExtModalSL = CASL_SL Sublogic Source #
minSLExtSigItem :: EM_SIG_ITEM -> [ExtModalSL] Source #
setModalities :: [a] -> Sublogic -> Sublogic Source #
setTermMods :: Bool -> Sublogic -> Sublogic Source #
setTimeMods :: Bool -> [a] -> Sublogic -> Sublogic Source #
sublogicsDim :: [[Sublogic]] Source #
sublogName :: Sublogic -> String Source #
parseSublog :: String -> (Sublogic, String) Source #