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:
“A private should preserve a respectful attitude toward his superiors, and should seldom or never proceed so far as to offer suggestions to his general in the field. If the battle is not being conducted to suit him, it is better for him to resign. By the etiquette of war, it is permitted to none below the rank of newspaper correspondent to dictate to the general in the field.”
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)
“I can imagine no more comfortable frame of mind for the conduct of life than a humorous resignation.”
—W. Somerset Maugham (1874–1966)