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:
“The general review of the past tends to satisfy me with my political life. No man, I suppose, ever came up to his ideal. The first half [of] my political life was first to resist the increase of slavery and secondly to destroy it.... The second half of my political life has been to rebuild, and to get rid of the despotic and corrupting tendencies and the animosities of the war, and other legacies of slavery.”
—Rutherford Birchard Hayes (1822–1893)
“I frame no hypotheses; for whatever is not deduced from the phenomena is to be called a hypothesis; and hypotheses, whether metaphysical or physical, whether of occult qualities or mechanical, have no place in experimental philosophy.”
—Isaac Newton (1642–1727)