Thorsten Wißmann
authored
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.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| DL98TestCases.ml | ||
| DL98TestCases.mli | ||
| Testsuite.ml | ||
| Testsuite.mli | ||
| cool-testsuite.ml | ||