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:
“Could anything be more indicative of a slight but general insanity than the aspect of the crowd on the streets of Chicago?”
—Charles Horton Cooley (1864–1929)
“Whenever the society is dissolved, it is certain the government of that society cannot remain ... that being as impossible, as for the frame of a house to subsist when the materials of it are scattered and dissipated by a whirlwind, or jumbled into a confused heap by an earthquake.”
—John Locke (1632–1704)