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:
“What is written without effort is in general read without pleasure.”
—Samuel Johnson (1709–1784)
“The warped, distorted frame we have put around every Negro child from birth is around every white child also. Each is on a different side of the frame but each is pinioned there. And ... what cruelly shapes and cripples the personality of one is as cruelly shaping and crippling the personality of the other.”
—Lillian Smith (1897–1966)