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:
“Why not draft executive and management brains to prepare and produce the equipment the $21-a-month draftee must use and forget this dollar-a-year tommyrot? Would we send an army into the field under a dollar-a-year General who had to be home Mondays, Wednesdays and Fridays?”
—Lyndon Baines Johnson (1908–1973)
“Faith, I have been a truant in the law,
And never yet could frame my will to it,
And therefore frame the law unto my will.”
—William Shakespeare (1564–1616)