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:
“If men would avoid that general language and general manner in which they strive to hide all that is peculiar and would say only what was uppermost in their own minds after their own individual manner, every man would be interesting.”
—Ralph Waldo Emerson (1803–1882)
“It would be nice to travel if you knew where you were going and where you would live at the end or do we ever know, do we ever live where we live, we’re always in other places, lost, like sheep.”
—Janet Frame (b. 1924)