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:
“As to the rout that is made about people who are ruined by extravagance, it is no matter to the nation that some individuals suffer. When so much general productive exertion is the consequence of luxury, the nation does not care though there are debtors in gaol; nay, they would not care though their creditors were there too.”
—Samuel Johnson (1709–1784)
“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)