2.2 Further properties of Diamond-i and Box-i

   ImpDi
   NotDiFalse
   DiState
   StateChop
   StateChopExportA
   StateAndChopImport
   StateAndChop
   StateAndEmptyChop
   StateAndNextChop
   NextStateAndChop
   StateYieldsEqv
   StateAndDi
   DiNext
   DiNextState
   StateImpBiGen
   ChopAndNotChopImp
   ChopAndYieldsImp
   ChopAndYieldsMP
   OrYieldsImp
   LeftYieldsImpYields
   LeftYieldsEqvYields
   StateImpYields
   StateAndYieldsImpYields
   AndYieldsA
   AndYieldsB
   RightYieldsImpYields
   RightYieldsEqvYields
   BoxImpYields
   BoxEqvTrueYields
   YieldsGen
   YieldsAndYieldsEqvYieldsAnd
   YieldsAndYieldsImpAndYieldsAnd
   YieldsYieldsEqvChopYields
   EmptyYields
   NextYields
   SkipChopEqvNext
   SkipYieldsEqvWeakNext
   NextImpSkipYields
   MoreEqvSkipChopTrue
   MoreChopImpMore
   ChopMoreImpMore
   MoreChopEqvNextDiamond
   NotEqvYieldsMore
   LeftChopImpMoreRule
   RightChopImpMoreRule
   NotDiEqvBiNot
   ChopImpDi
   TrueEqvTrueChopTrue
   DiEqvDiDi
   BiEqvBiBi
   DiOrEqv
   DiAndA
   DiAndB
   DiAndImpAnd
   DiSkipEqvMore
   DiMoreEqvMore
   DiIfEqvRule
   DiEmpty

2023-09-12
Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2023