{- |

Module : $Header$

Description : Keywords for extended modal logic

Copyright : DFKI GmbH 2009

License : GPLv2 or higher, see LICENSE.txt

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"

timeS :: String

timeS = "time"

tmTransClosS :: String

tmTransClosS = "*"

oB :: String

oB = "<["

cB :: String

cB = "]>"

orElseS :: String

orElseS = "orElse"