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:
“In the drawing room [of the Queen’s palace] hung a Venus and Cupid by Michaelangelo, in which, instead of a bit of drapery, the painter has placed Cupid’s foot between Venus’s thighs. Queen Caroline asked General Guise, an old connoisseur, if it was not a very fine piece? He replied “Madam, the painter was a fool, for he has placed the foot where the hand should be.””
—Horace Walpole (1717–1797)
“Candor is a proof of both a just frame of mind, and of a good tone of breeding. It is a quality that belongs equally to the honest man and to the gentleman.”
—James Fenimore Cooper (1789–1851)