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: 91,386

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

Barcan Both Ways.Melvin Fitting - 1999 - Journal of Applied Non-Classical Logics 9 (2):329-344.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Incompleteness and the Barcan formula.M. J. Cresswell - 1995 - Journal of Philosophical Logic 24 (4):379 - 403.
The Barcan Formula in Metaphysics.Ori Simchen - 2013 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 28 (3):375-392.
Review on: Ruth Barcan Marcus, Modalities. Philosophical Essays, New York/Oxford (Oxford University Press) 1993. [REVIEW]Eva-Maria Engelen - 1996 - Erkenntnis 44 (1):125-128.
Truthmakers and the converse Barcan formula.Timothy Williamson - 1999 - Dialectica 53 (3-4):253–270.
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.
Contingent objects and the Barcan formula.Reina Hayaki - 2006 - Erkenntnis 64 (1):75 - 83.
Two concepts of validity and completeness.Jaroslav Peregrin - unknown
Modalities: philosophical essays.Ruth Barcan Marcus - 1961 - New York: Oxford University Press.
Possible world semantics for first order lp.Melvin Fitting - unknown
First-Order Classical.Eric Pacuit - unknown
Frege and Gödel: Two Fundamental Texts in Mathematical Logic.Jean Van Heijenoort - 1970 - Cambridge, MA: Harvard University Press. Edited by Gottlob Frege & Kurt Gödel.
Arithmetical interpretations of dynamic logic.Petr Hájek - 1983 - Journal of Symbolic Logic 48 (3):704-713.

Analytics

Added to PP
2010-08-24

Downloads
24 (#642,030)

6 months
7 (#418,426)

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