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:
“Treating ‘water’ as a name of a single scattered object is not intended to enable us to dispense with general terms and plurality of reference. Scatter is in fact an inconsequential detail.”
—Willard Van Orman Quine (b. 1908)
“Adjoining a refreshment stand ... is a small frame ice house ... with a whitewashed advertisement on its brown front stating, simply, “Ice. Glory to Jesus.” The proprietor of the establishment is a religious man who has seized the opportunity to broadcast his business and his faith at the same time.”
—For the State of New Jersey, U.S. public relief program (1935-1943)