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/
