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:
“You don’t want a general houseworker, do you? Or a traveling companion, quiet, refined, speaks fluent French entirely in the present tense? Or an assistant billiard-maker? Or a private librarian? Or a lady car-washer? Because if you do, I should appreciate your giving me a trial at the job. Any minute now, I am going to become one of the Great Unemployed. I am about to leave literature flat on its face. I don’t want to review books any more. It cuts in too much on my reading.”
—Dorothy Parker (1893–1967)
“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)