The Diamond
of Possibility

by  Keith Allen Korcz

"We symbolize logical necessity with the box (box.gif (75 bytes)) and logical possibility with the diamond (diamond.gif (82 bytes)).  I first discuss combining negations with the box and diamond, noting that logical possibility and logical necessity are inter-definable with the help of negation: box.gif (75 bytes)p = ~diamond.gif (82 bytes)~p and diamond.gif (82 bytes)p = ~box.gif (75 bytes)~p. Thus, possibility and necessity are two sides of the same coin."

And what do we           
 symbolize by  The image “http://www.log24.com/theory/images/Modal-diamondbox.gif” cannot be displayed, because it contains errors. ?