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 conclusion suggested by these arguments might be called the paradox of theorizing. It asserts that if the terms and the general principles of a scientific theory serve their purpose, i. e., if they establish the definite connections among observable phenomena, then they can be dispensed with since any chain of laws and interpretive statements establishing such a connection should then be replaceable by a law which directly links observational antecedents to observational consequents.”
—C.G. (Carl Gustav)
“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)