e/General frame

Information
has gloss	eng: 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.
lexicalization	eng: general frame
lexicalization	eng: Jonsson-Tarski duality
lexicalization	eng: Jónsson-Tarski duality
lexicalization	eng: Jónsson–Tarski duality
instance of	c/Duality theories