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:
“General education is the best preventive of the evils now most dreaded. In the civilized countries of the world, the question is how to distribute most generally and equally the property of the world. As a rule, where education is most general the distribution of property is most general.... As knowledge spreads, wealth spreads. To diffuse knowledge is to diffuse wealth. To give all an equal chance to acquire knowledge is the best and surest way to give all an equal chance to acquire property.”
—Rutherford Birchard Hayes (1822–1893)
“He drew the curse upon the world, and cracked
The whole frame with his fall.
This made him long for home, as loth to stay
With murmurers and foes;”
—Henry Vaughan (1622–1695)