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      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.

Reply via email to