Project

General

Profile

« Previous | Next » 

Revision c855ba91

IDc855ba913465be19e71062de24cb4cd5e50f90f4
Parent eda515b6
Child 25fb6e92

Added by Thorsten Wißmann about 5 years ago

Change AtMostProbable to LessProbableThan

The actual box of PML (in GMLMIP) is: less probable than. The Diamond
is: At least Probable than.

So now you have ¬[p] C = <p> C.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences