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 everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.