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?


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