Bruno, I've deleted the previous thread, so I've started a new one on modal logic's "metaaxiom".
IIUC, if I have p (true in a world), and by dint of whatever convoluted steps, I have p --, q then it is also true that []q (q must be true in all worlds)? Could this also be written <>p --- ? []q Cheers -- ---------------------------------------------------------------------------- Prof Russell Standish Phone 0425 253119 (mobile) Principal, High Performance Coders Visiting Professor of Mathematics [email protected] 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 [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
