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:
“Even more important than the discovery of Columbus, which we are gathered together to celebrate, is the fact that the general government has just discovered women.”
—Bertha Honore Potter Palmer (1849–1918)
“I frame no hypotheses; for whatever is not deduced from the phenomena is to be called a hypothesis; and hypotheses, whether metaphysical or physical, whether of occult qualities or mechanical, have no place in experimental philosophy.”
—Isaac Newton (1642–1727)