RE: OMs are events

2005-08-02 Thread Lee Corbin
Brent writes Lee Corbin wrote: Hal writes I did mention the question of whether a given calculation instantiated a given OM. Maybe instantiate is not the right word there. I meant to consider the question of whether the first calculation added to the measure of the information

Re: Further modal logic queries

2005-08-02 Thread Bruno Marchal
Hi Russell, Le 30-juil.-05, à 08:13, Russell Standish wrote out-of-line (but gives me the permission to answer online, which I will do to encourage others to invest a little more in the technics). But those who have never heard about G and G* can skip it ... for the moment :) (One day those