Hostname: page-component-cd9895bd7-gvvz8 Total loading time: 0 Render date: 2024-12-25T18:36:54.116Z Has data issue: false hasContentIssue false

The extensions of the modal logic K5

Published online by Cambridge University Press:  12 March 2014

Michael C. Nagle
Affiliation:
Department of Mathematics, Simon Fraser University, Burnaby, British Columbia V5A IS6, Canada
S. K. Thomason
Affiliation:
Department of Mathematics, Simon Fraser University, Burnaby, British Columbia V5A IS6, Canada

Extract

Our purpose is to delineate the extensions (normal and otherwise) of the propositional modal logic K5. We associate with each logic extending K5 a finitary index, in such a way that properties of the logics (for example, inclusion, normality, and tabularity) become effectively decidable properties of the indices. In addition we obtain explicit finite axiomatizations of all the extensions of K5 and an abstract characterization of the lattice of such extensions.

This paper refines and extends the Ph.D. thesis [2] of the first-named author, who wishes to acknowledge his debt to Brian F. Chellas for his considerable efforts in directing the research culminating in [2] and [3]. We also thank W. J. Blok and Gregory Cherlin for observations which greatly simplified the proofs of Theorem 3 and Corollary 10.

By a logic we mean a set of formulas in the countably infinite set Var of propositional variables and the connectives ⊥, →, and □ (other connectives being used abbreviatively) which contains all the classical tautologies and is closed under detachment and substitution. A logic is classical if it is also closed under RE (from AB infer □A ↔□B) and normal if it is classical and contains □ ⊤ and □ (Pq) → (□p → □q). A logic is quasi-classical if it contains a classical logic and quasi-normal if it contains a normal logic. Thus a quasi-normal logic is normal if and only if it is classical, and if and only if it is closed under RN (from A infer □A).

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1985

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] Blok, W.J. and Köhler, P., Algebraic semantics for quasi-classical modal logics, this Journal, vol. 48 (1983), pp. 941964.Google Scholar
[2] Nagle, Michael C., The decidability of normal K5-logics, this Journal, vol. 46 (1981), pp. 319328.Google Scholar
[3] Nagle, Michael C., Normal K5 logics, Ph.D. Thesis, University of Calgary, Calgary, 1981.Google Scholar
[4] Segerberg, Krister, An easy in classical modal logic, University of Uppsala, Uppsala, 1971.Google Scholar
[5] Segerberg, Krister, Post completeness in modal logic, this Journal, vol. 37 (1972), pp. 711715.Google Scholar
[6] Thomason, S. K., Semantic analysis of tense logics, this Journal, vol. 37 (1972), pp. 150158.Google Scholar