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 will win this war because we are willing to sacrifice 10,000,000 lives. How many lives is the White Man willing to sacrifice?”
—Jerome Cady, U.S. screenwriter, and Lewis Milestone. General Mitsubi (Richard Loo)
“she drew back a while,
Then, yielding to the irresistible joy,
With frantic gesture and short breathless cry
Folded his frame in her dissolving arms.
Now blackness veiled his dizzy eyes, and night
Involved and swallowed up the vision; sleep,
Like a dark flood suspended in its course,
Rolled back its impulse on his vacant brain.”
—Percy Bysshe Shelley (1792–1822)