module SegExamples where

import AbstractSyntax

import GenericSequent

-- example Segala

test1 = KD (And (At (K (And (At (KD T)) F))) (And (And F (At (K F))) F))

--test4 =

test2 = K T

test3 = KD F