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:
“Then comes my fit again. I had else been perfect,
Whole as the marble, founded as the rock,
As broad and general as the casing air.
But now I am cabined, cribbed, confined, bound in
To saucy doubts and fears.”
—William Shakespeare (1564–1616)
“From Harmony, from heavenly Harmony
This universal Frame began:
From Harmony to Harmony
Through all the Compass of the Notes it ran,
The Diapason closing full in Man.”
—John Dryden (1631–1700)