Definition
A modal general frame is a triple, where is a Kripke frame (i.e., R is a binary relation on the set F), and V is a set of subsets of F which is closed under
- the Boolean operations of (binary) intersection, union, and complement,
- the operation, defined by .
The purpose of V is to restrict the allowed valuations in the frame: a model based on the Kripke frame is admissible in the general frame F, if
- for every propositional variable p.
The closure conditions on V then ensure that belongs to V for every formula A (not only a variable).
A formula A is valid in F, if for all admissible valuations, and all points . A normal modal logic L is valid in the frame F, if all axioms (or equivalently, all theorems) of L are valid in F. In this case we call F an L-frame.
A Kripke frame may be identified with a general frame in which all valuations are admissible: i.e., where denotes the power set of F.
Read more about this topic: General Frame
Famous quotes containing the word definition:
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)
“It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
—Jane Adams (20th century)
“Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.”
—Nadine Gordimer (b. 1923)