Formal Semantics of Modal Logics
A semantics for modal logic was first introduced in the 1950s work of Saul Kripke and his colleagues. A statement in modal logic that is possible is said to be true in at least one possible world; a statement that is necessary is said to be true in all possible worlds.
Read more about this topic: Possible World
Famous quotes containing the words formal and/or logics:
“There must be a profound recognition that parents are the first teachers and that education begins before formal schooling and is deeply rooted in the values, traditions, and norms of family and culture.”
—Sara Lawrence Lightfoot (20th century)
“When logics die,
The secret of the soil grows through the eye,
And blood jumps in the sun;
Above the waste allotments the dawn halts.”
—Dylan Thomas (1914–1953)