Ten modal models

Journal of Symbolic Logic 29 (3):125-128 (1964)
  Copy   BIBTEX

Abstract

We consider the results of adding to a basic modal system T0the 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 S40in (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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Modal View and Defending Microeconomics.Steven Rappaport - 1986 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1986:289 - 297.
Modal correspondence for models.Jon Barwise & Lawrence S. Moss - 1998 - Journal of Philosophical Logic 27 (3):275-294.
Quasi-modal equivalence of canonical structures.Robert Goldblatt - 2001 - Journal of Symbolic Logic 66 (2):497-508.
Modal logic over finite structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.
Probability: A new logico-semantical approach. [REVIEW]Christina Schneider - 1994 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 25 (1):107 - 124.

Analytics

Added to PP
2009-01-28

Downloads
20 (#656,247)

6 months
5 (#246,492)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..

Add more citations

References found in this work

Les systèmes formalisés des modalités aristotéliciennes.Robert Feys - 1950 - Revue Philosophique De Louvain 48 (20):478-509.
A final note on S1° and the Brouwerian axioms.Ivo Thomas - 1963 - Notre Dame Journal of Formal Logic 4:231.
S1° and Brouwerian axioms.Ivo Thomas - 1963 - Notre Dame Journal of Formal Logic 4:151.
Solutions of five modal problems of Sobociński.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):199-200.

View all 6 references / Add more references