Hostname: page-component-76fb5796d-45l2p Total loading time: 0 Render date: 2024-04-26T05:26:13.630Z Has data issue: false hasContentIssue false
  • English
  • Français

Ten modal models

Published online by Cambridge University Press:  12 March 2014

Ivo Thomas
Ivo Thomas*
Affiliation:
University of Notre Dame, Indiana
Get access Rights & Permissions [Opens in a new window]

Extract

We consider the results of adding to a basic modal system T0 the axioms G1. CLpp; Pn. CLnpLn+1p; Bn. CpLnMp, where n ≧ 11, in all combinations. The method of Meredith's [7] will be extended to get models of these systems in lower predicate calculus (LPC) with a constant binary relation, U. Most of the results were already obtained in [1]–[6], though systems as in (i) and (ii) below were not investigated, except that S40 in (ii) was mentioned in [1]. However some repetition may be excused in view of the simplicity with which the results are obtained by the present method.

Type
Articles
Information
The Journal of Symbolic Logic , Volume 29 , Issue 3 , September 1964 , pp. 125 - 128
Copyright
Copyright © Association for Symbolic Logic 1964

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

[1]Sobociński, B., A contribution to the axiomatization of Lewis' S5. Notre Dame Journal of Formal Logic, III (1962), 51–60.Google Scholar
[2]Sobociński, B., On the generalized Brouwerian axioms. Notre Dame Journal of Formal Logic, III (1962), 123–128.Google Scholar
[3]Thomas, Ivo, Solutions of Five Modal Problems of Sobocinski. Notre Dame Journal of Formal Logic, III (1962), 199–200.Google Scholar
[4]Thomas, Ivo, S10 and Brouwerian axioms. Notre Dame Journal of Formal Logic, IV (1963), 151–2.Google Scholar
[5]Thomas, Ivo, A final note on S10 and the Brouwerian axioms. Notre Dame Journal of Formal Logic, IV (1963), 231–2.Google Scholar
[6]Thomas, Ivo, Modal Systems in the neighbourhood of T. Notre Dame Journal of Formal Logic, forthcoming.Google Scholar
[7]Meredith, C. A., Interpretations of different modal logics in the ‘property calculus’. August, 1958, recorded and expanded by A.N.Prior, mimeographed. Department of Philosophy, University of Canterbury.CrossRefGoogle Scholar
[8]Feys, R., Les systèmes formalisés des modalités aristotéliciennes. Revue Philosophique de Louvain, XLVIII (1950), 478–509.CrossRefGoogle Scholar