Le 27-mai-05, à 16:08, Bruno Marchal a écrit :
> Of course G* proves Bp <-> (Bp & -B-p), But G* proves also -B(Bp <->
> (Bp & -B-p)), so that from the machine point point of view, it will
> change the provability logic, indeed, it changes it into a probability
> logic.]
I' m getting old: please read instead:
> Of course G* proves Bp <-> (Bp & -B-p), But G does not prove Bp <->
> (Bp & -B-p)), so that from the machine point point of view, it will
> change the provability logic, indeed, it changes it into a probability
> logic.]
It is about time you handle those logics if only for correcting my
errors!
I take the opportunity to apology for my bad handling of the "s".
Bruno
http://iridia.ulb.ac.be/~marchal/
Received on Fri May 27 2005 - 11:58:16 PDT