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


then it is also true that []q (q must be true in all worlds)?

Could this also be written

---  ?


Prof Russell Standish                  Phone 0425 253119 (mobile)
Principal, High Performance Coders
Visiting Professor of Mathematics
University of New South Wales

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

Reply via email to