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:
“According to the historian, they escaped as by a miracle all roving bands of Indians, and reached their homes in safety, with their trophies, for which the General Court paid them fifty pounds. The family of Hannah Dustan all assembled alive once more, except the infant whose brains were dashed out against the apple tree, and there have been many who in later time have lived to say that they have eaten of the fruit of that apple tree.”
—Henry David Thoreau (1817–1862)
“Human life itself may be almost pure chaos, but the work of the artist—the only thing he’s good for—is to take these handfuls of confusion and disparate things, things that seem to be irreconcilable, and put them together in a frame to give them some kind of shape and meaning. Even if it’s only his view of a meaning. That’s what he’s for—to give his view of life.”
—Katherine Anne Porter (1890–1980)