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:
“Hence that general is skilful in attack whose opponent does not know what to defend; and he is skilful in defense whose opponent does not know what to attack.”
—Sun Tzu (6th–5th century B.C.)
“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)