On Tue, Jun 12, 2012 at 08:17:38PM +0200, Bruno Marchal wrote:
> On 12 Jun 2012, at 00:47, Russell Standish wrote:
> >On Thu, Jun 07, 2012 at 01:33:48PM +0200, Bruno Marchal wrote:
> >>
> >>In fact we have p/p for any p. If you were correct we would have []p
> >>for any p.
> >
> >This is what I thought you said the "meta-axiom" stated?
> >
> >How else do we get p/[]p for Kripke semantics?
> Because if p is true in all worlds, then []p is true in all worlds
> OK? 

No.  I didn't say that. p means p is true in a world. p true in all
worlds would be written []p.


Prof Russell Standish                  Phone 0425 253119 (mobile)
Principal, High Performance Coders
Visiting Professor of Mathematics      hpco...@hpcoders.com.au
University of New South Wales          http://www.hpcoders.com.au

You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to 
For more options, visit this group at 

Reply via email to