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:
“Surely one of the peculiar habits of circumstances is the way they follow, in their eternal recurrence, a single course. If an event happens once in a life, it may be depended upon to repeat later its general design.”
—Ellen Glasgow (1873–1945)
“But angels come to lead frail minds to rest
In chaste desires, on heavenly beauty bound.
You frame my thoughts, and fashion me within;
You stop my tongue, and teach my heart to speak;”
—Edmund Spenser (1552?–1599)