Hostname: page-component-78c5997874-fbnjt Total loading time: 0 Render date: 2024-11-16T21:16:19.065Z Has data issue: false hasContentIssue false
  • English
  • Français

Sequent-systems for modal logic

Published online by Cambridge University Press:  12 March 2014

Kosta Došen
Kosta Došen*
Affiliation:
Matematički Institut, Beograd, Yugoslavia
Get access Rights & Permissions [Opens in a new window]

Abstract

The purpose of this work is to present Gentzen-style formulations of S5 and S4 based on sequents of higher levels. Sequents of level 1 are like ordinary sequents, sequents of level 2 have collections of sequents of level 1 on the left and right of the turnstile, etc. Rules for modal constants involve sequents of level 2, whereas rules for customary logical constants of first-order logic with identity involve only sequents of level 1. A restriction on Thinning on the right of level 2, which when applied to Thinning on the right of level 1 produces intuitionistic out of classical logic (without changing anything else), produces S4 out of S5 (without changing anything else).

This characterization of modal constants with sequents of level 2 is unique in the following sense. If constants which differ only graphically are given a formally identical characterization, they can be shown inter-replaceable (not only uniformly) with the original constants salva provability. Customary characterizations of modal constants with sequents of level 1, as well as characterizations in Hilbert-style axiomatizations, are not unique in this sense. This parallels the case with implication, which is not uniquely characterized in Hilbert-style axiomatizations, but can be uniquely characterized with sequents of level 1.

These results bear upon theories of philosophical logic which attempt to characterize logical constants syntactically. They also provide an illustration of how alternative logics differ only in their structural rules, whereas their rules for logical constants are identical.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 50 , Issue 1 , March 1985 , pp. 149 - 168
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

Anderson, A. R. and Belnap, N. D. Jr., [1975], Entailment, Volume I: The logic of relevance and necessity, Princeton University Press, Princeton, New Jersey.Google Scholar
Curry, H. B. [1963], Foundations of mathematical logic, McGraw-Hill, New York.Google Scholar
Došen, K. [1980], Logical constants: An essay in proof theory, D. Phil, thesis, Oxford University, Oxford.Google Scholar
Kleene, S. C. [1952], Introduction to metamathematics, North-Holland, Amsterdam.Google Scholar
Scott, D. S. [1971], On engendering an illusion of understanding, The Journal of Philosophy, vol. 68, pp. 787–807.CrossRefGoogle Scholar
Shoesmith, D. J. and Smiley, T. J. [1978], Multiple-conclusion logic, Cambridge University Press, Cambridge.CrossRefGoogle Scholar
Smirnov, V. A. [1972], Formal'nyĭ vyvod i logičéské išlisleniá, “Nauka”, Moscow.Google Scholar
Zeman, J. J. [1973], Modal logic: The Lewis-modal systems, Oxford University Press, Oxford.Google Scholar