Completeness without the Barcan formula

Notre Dame Journal of Formal Logic 9 (1):75-80 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093893354

Links

PhilArchive



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

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

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.
Prior and the Barcan formula.Dale E. Lichtblau - 1976 - Notre Dame Journal of Formal Logic 17 (4):622-624.
Prior's criticism of the Barcan formula.Tobias Chapman - 1975 - Notre Dame Journal of Formal Logic 16 (1):116-118.
Review: M. J. Cresswell, A Henkin Completeness Theorem for T; M. J. Cresswell, Alternative Completeness Theorems for Modal Systems; M. J. Cresswell, Some Proofs of Relative Completeness in Modal Logic. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (4):581-582.
Independent necessary conditions for functional completeness in $m$-valued logic.Yale N. Patt - 1977 - Notre Dame Journal of Formal Logic 18 (2):318-320.
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.
Book Review: Ruth Barcan Marcus. Modalities. [REVIEW]Graeme Forbes - 1995 - Notre Dame Journal of Formal Logic 36 (2):336-339.
The completeness of combinatory logic with discriminators.John T. Kearns - 1973 - Notre Dame Journal of Formal Logic 14 (3):323-330.
The completeness of Stoic propositional logic.Ian Mueller - 1979 - Notre Dame Journal of Formal Logic 20 (1):201-215.
A completeness theorem for dynamic logic.László Csirmaz - 1985 - Notre Dame Journal of Formal Logic 26 (1):51-60.

Analytics

Added to PP
2010-08-24

Downloads
26 (#145,883)

6 months
8 (#1,326,708)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Max Cresswell
Victoria University of Wellington

Citations of this work

Quine and Quantified Modal Logic – Against the Received View.Adam Tamas Tuboly - 2015 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 22 (4):518-545.

Add more citations

References found in this work

No references found.

Add more references