General Frame

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:

    The bond between a man and his profession is similar to that which ties him to his country; it is just as complex, often ambivalent, and in general it is understood completely only when it is broken: by exile or emigration in the case of one’s country, by retirement in the case of a trade or profession.
    Primo Levi (1919–1987)

    Painting seems to be to the eye what dancing is to the limbs. When that has educated the frame to self-possession, to nimbleness, to grace, the steps of the dancing-master are better forgotten; so painting teaches me the splendor of color and the expression of form, and as I see many pictures and higher genius in the art, I see the boundless opulence of the pencil, the indifferency in which the artist stands free to choose out of the possible forms.
    Ralph Waldo Emerson (1803–1882)