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:
“The reputation of generosity is to be purchased pretty cheap; it does not depend so much upon a man’s general expense, as it does upon his giving handsomely where it is proper to give at all. A man, for instance, who should give a servant four shillings, would pass for covetous, while he who gave him a crown, would be reckoned generous; so that the difference of those two opposite characters, turns upon one shilling.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)
“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)