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:
“At that,
his small size,
keen eyes,
serviceable beak
and general truculence
assure his survival—”
—William Carlos Williams (1883–1963)
“The heroes and discoverers have found true more than was previously believed, only when they were expecting and dreaming of something more than their contemporaries dreamed of, or even themselves discovered, that is, when they were in a frame of mind fitted to behold the truth. Referred to the world’s standard, they are always insane. Even savages have indirectly surmised as much.”
—Henry David Thoreau (1817–1862)