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:
“An aristocratic culture does not advertise its emotions. In its forms of expression it is sober and reserved. Its general attitude is stoic.”
—Johan Huizinga (1872–1945)
“A cold and searching wind drives away all contagion, and nothing can withstand it but what has a virtue in it, and accordingly, whatever we meet with in cold and bleak places, as the tops of mountains, we respect for a sort of sturdy innocence, a Puritan toughness. All things beside seem to be called in for shelter, and what stays out must be part of the original frame of the universe, and of such valor as God himself.”
—Henry David Thoreau (1817–1862)