In Modal Logic , the necessity operator refers to the fact that a proposition must hold. This is written as .
The possiblity operator refers to the the fact that a proposition might hold. This is written as .
What is a different way to write ?
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
No explanations have been posted yet. Check back later!