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:
“Suppose we think while we talk or write—I mean, as we normally do—we shall not in general say that we think quicker than we talk, but the thought seems not to be separate from the expression.”
—Ludwig Wittgenstein (1889–1951)
“We are not permitted to choose the frame of our destiny. But what we put into it is ours.”
—Dag Hammarskjöld (1905–1961)