Completeness
Unlike Kripke frames, every normal modal logic L is complete with respect to a class of general frames. This is a consequence of the fact that L is complete with respect to a class of Kripke models : as L is closed under substitution, the general frame induced by is an L-frame. Moreover, every logic L is complete with respect to a single descriptive frame. Indeed, L is complete with respect to its canonical model, and the general frame induced by the canonical model (called the canonical frame of L) is descriptive.
Read more about this topic: General Frame
Famous quotes containing the word completeness:
“Poetry presents indivisible wholes of human consciousness, modified and ordered by the stringent requirements of form. Prose, aiming at a definite and concrete goal, generally suppresses everything inessential to its purpose; poetry, existing only to exhibit itself as an aesthetic object, aims only at completeness and perfection of form.”
—Richard Harter Fogle, U.S. critic, educator. The Imagery of Keats and Shelley, ch. 1, University of North Carolina Press (1949)