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:
“As to the rout that is made about people who are ruined by extravagance, it is no matter to the nation that some individuals suffer. When so much general productive exertion is the consequence of luxury, the nation does not care though there are debtors in gaol; nay, they would not care though their creditors were there too.”
—Samuel Johnson (1709–1784)
“We are not permitted to choose the frame of our destiny. But what we put into it is ours.”
—Dag Hammarskjöld (1905–1961)