- Modal logic
- Normal modal logic
- Kripke semantics
Read more about this topic: S5 (modal Logic)
Famous quotes containing the word see:
“Then turning to the disciples, Jesus said to them privately, Blessed are the eyes that see what you see! For I tell you that many prophets and kings desired to see what you see, but did not see it, and to hear what you hear, but did not hear it.”
—Bible: New Testament, Luke 10:23,24.