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:
“As a general rule never take your whole fee in advance, nor any more than a small retainer. When fully paid beforehand, you are more than a common mortal if you can feel the same interest in the case, as if something was still in prospect for you, as well as for your client.”
—Abraham Lincoln (1809–1865)
“In this choice of inheritance we have given to our frame of polity the image of a relation in blood; binding up the constitution of our country with our dearest domestic ties; adopting our fundamental laws into the bosom of our family affections; keeping inseparable and cherishing with the warmth of all their combined and mutually reflected charities, our state, our hearths, our sepulchres, and our altars.”
—Edmund Burke (1729–1797)