General Frame Semantics
The main defect of Kripke semantics is the existence of Kripke incomplete logics, and logics which are complete but not compact. It can be remedied by equipping Kripke frames with extra structure which restricts the set of possible valuations, using ideas from algebraic semantics. This gives rise to the general frame semantics.
Read more about this topic: Kripke Semantics
Famous quotes containing the words general and/or frame:
“When General Motors has to go to the bathroom ten times a day, the whole country’s ready to let go. You heard of that market crash in ‘29? I predicted that.... I was nursing a director of General Motors. Kidney ailment, they said; nerves, I said. Then I asked myself, “What’s General Motors got to be nervous about?” “Overproduction,” I says. “Collapse.””
—John Michael Hayes (b. 1919)
“But angels come to lead frail minds to rest
In chaste desires, on heavenly beauty bound.
You frame my thoughts, and fashion me within;
You stop my tongue, and teach my heart to speak;”
—Edmund Spenser (1552?–1599)