Recent developments in model theory, Notre Dame Journal of Formal Logic, vol.54, nos. 3-4, 2013

Bulletin of Symbolic Logic 20 (3):357-359 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2014.25

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

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

Through your library

My notes

Similar books and articles

Reviewed Work: Recent developments in model theory, Notre Dame Journal of Formal Logic, vol. 54, nos. 3-4.Review by: Dugald Macpherson - 2014 - Bulletin of Symbolic Logic 20 (3):357-359,.
Guido Küng. Bibliography of Soviet work in the field of mathematical logic and the foundations of mathematics, from 1917–1957. Notre Dame journal of formal logic, vol. 3, pp. 5–40. - I. M. Bocheński. Preface. Notre Dame journal of formal logic, vol. 3, pp. 1–4. [REVIEW]E. M. Fels - 1963 - Journal of Symbolic Logic 28 (3):253-254.
Bolesław Sobociński. A contribution to the axiomatization of Lewis' system S5. Notre Dame journal of formal logic, vol. 3 , pp. 51–63. - Bolesław Sobociński. On the generalized Brouwerian axioms.Notre Dame journal of formal logic, vol. 3 , pp. 123–128. - Bolesław Sobociński. A note on modal systems.Notre Dame journal of formal logic, vol. 4 , pp. 155–157. - Ivo Thomas. Solutions of five modal problems of Sobociński.Notre Dame journal of formal logic, vol. 3 , pp. 199–200. - Ivo Thomas. S1° and Brouwerian axioms.Notre Dame journal of formal logic, vol. 4 , pp. 151–152. - Ivo Thomas. S1° and generalized Si-axioms.Notre Dame journal of formal logic, vol. 4 , pp. 153–154. - Ivo Thomas. A final note on S1° and the Brouwerian axioms.Notre Dame journal of formal logic, vol. 4 , pp. 231–232. - Ivo Thomas. Modal systems in the neighbourhood of T.Notre Dame journal of formal logic, vol. 5 no. 1 , pp. 59–61. - Ivo Thomas. Ten modal models. The journal of symbolic logic, vol. 29 no. 3 , pp. 125–12. [REVIEW]Nuel D. Belnap - 1966 - Journal of Symbolic Logic 31 (3):498-500.
Sobociński Bolesław. Remarks about axiomatizations of certain modal systems. Notre Dame journal of formal logic, vol. 5 no. 1 , pp. 71–80.Prior A. N., K1, K2 and related modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 299–304.Sobociński Bolesław. Modal system S4.4. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 305–312.Sobociński Bolesław. Family of the non-Lewis modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 313–318.Thomas Ivo. A theorem on S4.2 and S4.4. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 335–336.Thomas Ivo. Decision for K4. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 337–338. [REVIEW]G. F. Schumm - 1972 - Journal of Symbolic Logic 37 (1):182-183.
Cresswell M. J.. A Henkin completeness theorem for T. Notre Dame journal of formal logic, vol. 8 no. 3 , pp. 186–190.Cresswell M. J.. Alternative completeness theorems for modal systems. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 339–345.Cresswell M. J.. Some proofs of relative completeness in modal logic. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 62–66. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (4):581-582.
Gerald J. Massey. Note on Copi's system. Notre Dame journal of formal logic, vol. 4 , pp. 140–141. - John Thomas Canty. Completeness of Copi's method of deduction. Notre Dame journal of formal logic, vol. 4 , pp. 142–144. [REVIEW]Donald Kalish - 1965 - Journal of Symbolic Logic 30 (3):366-367.
Saito Setsuo. Truth value assignment in predicate calculus of first order. Notre Dame journal of formal logic, vol. 4 no. 3 , pp. 216–223. [REVIEW]F. C. Oglesby - 1966 - Journal of Symbolic Logic 31 (2):268-268.
Bolesław Sobociński. A note on the generalized continuum hypothesis. Notre Dame Journal of formal logic, vol. 3 , pp. 274–278, and vol. 4 , pp. 67–79, 233–240. [REVIEW]Leslie H. Tharp - 1969 - Journal of Symbolic Logic 33 (4):632.
Introduction.Zoé Chatzidakis, David Marker, Amador Martin-Pizarro, Rahim Moosa & Sergei Starchenko - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):277-277.
Robert E. Clay. A simple proof of functional completeness in many-valued logics based on Łukasiewicz's C and N. Notre Dame journal of formal logic, vol. 3 , pp. 114–117. - Robert E. Clay. Note on Stupecki T-functions. The journal of symbolic logic, vol. 27 no. 1 , pp. 53–54. [REVIEW]Arto Salomaa - 1965 - Journal of Symbolic Logic 30 (1):105.

Analytics

Added to PP
2016-06-30

Downloads
18 (#825,698)

6 months
3 (#1,206,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references