Hostname: page-component-78c5997874-g7gxr Total loading time: 0 Render date: 2024-11-08T02:57:56.236Z Has data issue: false hasContentIssue false
  • English
  • Français

An extended joint consistency theorem for a family of free modal logics with equality1

Published online by Cambridge University Press:  12 March 2014

Raymond D. Gumb
Raymond D. Gumb*
Affiliation:
California State University, Northridge, California 91330
Get access Rights & Permissions [Opens in a new window]

Extract

In this paper, we establish an extended joint consistency theorem for an infinite family of free modal logics with equality. The extended joint consistency theorem incorporates the Craig and Lyndon interpolation lemmas and the Robinson joint consistency theorem. In part, the theorem states that two theories which are jointly unsatisfiable are separated by a sentence in the vocabulary common to both theories.

Our family of free modal logics includes the free versions of I, M, and S4 studied by Leblanc [5, Chapters 8 and 9], supplemented with equality as in [3]. In the relational semantics for these logics, there is no restriction on the accessibility relation in I, while in M(S4) the restriction is reflexivity (refiexivity and transitivity). We say that a restriction on the accessibility relation countenances backward-looping if it implies a sentence of the form ∀x1 …xn(x1Rx2 &…&xn ⊃ xkRxj) (1 ≤ j < k ≤ n ≥ 2), where the xi (1 ≤ i ≤ n) are distinct individual variables. Just as reflexivity and transitivity do not countenance backward-looping, neither do any of the restrictions in our family of free modal logics. (The above terminology is derived from the effect of such restrictions on Kripke tableaux constructions.) The Barcan formula, its converse, the Fitch formula, and the formula T ≠ T′ ⊃ □T ≠ T′ do not hold in our logics.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 49 , Issue 1 , March 1984 , pp. 174 - 183
Copyright
Copyright © Association for Symbolic Logic 1984

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.)

Footnotes

1

This work was supported by a 1977–1978 Temple University Faculty Research and Study Leave and by a 1978–1980 grant from the Foundation for the Advancement of Interdisciplinary Studies. I am indebted to the referees for many valuable suggestions.

References

REFERENCES

[1]Barnes, R. F. and Gumb, R. D., The completeness of presupposition-free tense logic, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 25 (1979), pp. 193–208.CrossRefGoogle Scholar
[2]Fine, K., Failures of the interpolation lemma in quantified modal logic, this Journal, vol. 44 (1979), pp. 201–206.Google Scholar
[3]Gumb, R. D., Evolving theories, Haven, New York, 1979.Google Scholar
[4]Gumb, R. D., An extended joint consistency theorem for free logic with equality, Notre Dame Journal of Formal Logic, vol. 20 (1979), pp. 321–335.CrossRefGoogle Scholar
[5]Leblanc, H., Truth-value semantics, North-Holland, Amsterdam, 1976.Google Scholar
[6]Weaver, G. and Gumb, R. D., First order properties of relations with the monotonic closure property, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 28 (1982), pp. 1–5.CrossRefGoogle Scholar