Logics containing K4. Part II
- 1 September 1985
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 50 (3), 619-651
- https://doi.org/10.2307/2274318
Abstract
This paper establishes another very general completeness result for the logics within the field of K4. With each finite transitive frame ℭ we may associate a formula — Bℭ which validates just those frames ℑ in which ℭ is not in a certain sense embeddable (to be exact, ℭ is not the p-morphic image of any subframe of ℑ. By a subframe logic we mean the result of adding such formulas as axioms to K4. The general result is that each subframe logic has the finite model property.There are a continuum of subframe logics and they include many of the standard ones, such as T, S4, S4.3, S5 and G. It turns out that the subframe logics are exactly those complete for a condition that is closed under subframes (any subframe of a frame satisfying the condition also satisfies the condition). As a consequence, every logic complete for a condition closed under subframes has the finite model property.It is ascertained which of the subframe logics are compact. It turns out that the compact logics are just those whose axioms express an elementary condition. Tests are given for determining whether a given axiom expresses an elementary condition and for determining what it is in case it does.In one respect the present general completeness result differs from most of the others in the literature. The others have usually either been what one might call logic based or formula based. They have usually either been to the effect that all of the logics containing a given logic are complete or to the effect that all logics whose axioms come from a given syntactically characterized class of formulas are complete. The present result is, by contrast, what one might call frame based. The axioms of the logics to be proved complete are characterized most directly in terms of their connection with certain frames.Keywords
This publication has 5 references indexed in Scilit:
- Decidability and the finite model propertyJournal of Philosophical Logic, 1981
- An ascending chain of S4 logicsTheoria, 1974
- An incomplete logic containing S4Theoria, 1974
- The Logics Containing S 4.3Mathematical Logic Quarterly, 1971
- That All Normal Extensions of S4.3 Have the Finite Model PropertyMathematical Logic Quarterly, 1966