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:
“A bill of rights is what the people are entitled to against every government on earth, general or particular, and what no just government should refuse, or rest on inference.”
—Thomas Jefferson (1743–1826)
“With its frame of shaking curls all in disarray,
earrings swinging,
make-up smudged by beads of sweat,
eyes languid at the end of lovemaking,
may the face of the slim girl
who’s riding on top of you
protect you long.
What’s the use
of Vi.s».n»u, iva, Skanda,
and all those other gods?”
—Amaru (c. seventh century A.D.)