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:
“We have grown literally afraid to be poor. We despise anyone who elects to be poor in order to simplify and save his inner life. If he does not join the general scramble and pant with the money-making street, we deem him spiritless and lacking in ambition.”
—William James (1842–1910)
“The heroes and discoverers have found true more than was previously believed, only when they were expecting and dreaming of something more than their contemporaries dreamed of, or even themselves discovered, that is, when they were in a frame of mind fitted to behold the truth. Referred to the world’s standard, they are always insane. Even savages have indirectly surmised as much.”
—Henry David Thoreau (1817–1862)