{- |

Module : $Header$

Description : Keywords for extended modal logic

Copyright : DFKI GmbH 2009

License : GPLv2 or higher

Maintainer : codruta.liliana@gmail.com

Stability : experimental

Portability : portable

-}

module ExtModal.Keywords where

untilS :: String

untilS = "U"

sinceS :: String

sinceS = "S"

allPathsS :: String

allPathsS = "A"

somePathsS :: String

somePathsS = "E"

nextS :: String

nextS = "X"

yesterdayS :: String

yesterdayS = "Y"

generallyS :: String

generallyS = "G"

eventuallyS :: String

eventuallyS = "F"

hithertoS :: String

hithertoS = "H"

previouslyS :: String

previouslyS = "P"

muS :: String

muS = "mu"

nuS :: String

nuS = "nu"

atS :: String

atS = "@"

hereS :: String

hereS = "Here"

nominalS :: String

nominalS = "nominal"

nominalsS :: String

nominalsS = "nominals"

timeS :: String

timeS = "time"

tmCompositionS :: String

tmCompositionS = ";"

tmUnionS :: String

tmUnionS = "|"

tmTransClosS :: String

tmTransClosS = "*"

tmGuardS :: String

tmGuardS = "?"

tmOParanthS :: String

tmOParanthS = "("

tmCParanthS :: String

tmCParanthS = ")"