General Frame
In logic, general frames (or simply frames) are Kripke frames with an additional structure, which are used to model modal and intermediate logics. The general frame semantics combines the main virtues of Kripke semantics and algebraic semantics: it shares the transparent geometrical insight of the former, and robust completeness of the latter.
Read more about General Frame: Definition, Types of Frames, Operations and Morphisms On Frames, Completeness, Jónsson–Tarski Duality, Intuitionistic Frames
Famous quotes containing the words general and/or frame:
“He who never sacrificed a present to a future good or a personal to a general one can speak of happiness only as the blind do of colors.”
—Olympia Brown (1835–1900)
“Human life itself may be almost pure chaos, but the work of the artist—the only thing he’s good for—is to take these handfuls of confusion and disparate things, things that seem to be irreconcilable, and put them together in a frame to give them some kind of shape and meaning. Even if it’s only his view of a meaning. That’s what he’s for—to give his view of life.”
—Katherine Anne Porter (1890–1980)