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:
“We all have known
Good critics, who have stamped out poet’s hopes;
Good statesmen, who pulled ruin on the state;
Good patriots, who, for a theory, risked a cause;
Good kings, who disembowelled for a tax;
Good Popes, who brought all good to jeopardy;
Good Christians, who sat still in easy-chairs;
And damned the general world for standing up.—
Now, may the good God pardon all good men!”
—Elizabeth Barrett Browning (1806–1861)
“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)