Syntactic aspects of modal incompleteness theorems

Theoria 45 (2):63-77 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2008

DOI

10.1111/j.1755-2567.1979.tb00794.x

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

On the incompleteness theorems.Henryk Kotlarski - 1994 - Journal of Symbolic Logic 59 (4):1414-1419.
Three theorems of Godel.Andrew Boucher - manuscript
Incompleteness in a general setting (vol 13, pg 21, 2007).John L. Bell - 2008 - Bulletin of Symbolic Logic 14 (1):21 - 30.
Gödel's incompleteness theorems and computer science.Roman Murawski - 1997 - Foundations of Science 2 (1):123-135.
Contemporary perspectives on Hilbert's second problem and the gödel incompleteness theorems.Harvey Friedman - manuscript
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Proof-theoretic modal pa-completeness I: A system-sequent metric.Paolo Gentilini - 1999 - Studia Logica 63 (1):27-48.
Mathematical realism and gödel's incompleteness theorems.Richard Tieszen - 1994 - Philosophia Mathematica 2 (3):177-201.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
The incompleteness of theories of games.Marcelo Tsuji, Newton C. A. Costa & Francisco A. Doria - 1998 - Journal of Philosophical Logic 27 (6):553-568.
On the philosophical relevance of Gödel's incompleteness theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.
The incompleteness theorems.H. P. Barendregt - 1976 - Utrecht: Rijksuniversiteit Utrecht, Mathematisch Instituut.
The incompleteness of RGL.Edwin D. Mares - 2000 - Studia Logica 65 (3):315-322.

Analytics

Added to PP
2010-09-13

Downloads
55 (#284,906)

6 months
5 (#638,139)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Johan Van Benthem
University of Amsterdam

Citations of this work

Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
The modal logic of inequality.Maarten de Rijke - 1992 - Journal of Symbolic Logic 57 (2):566-584.
Complete additivity and modal incompleteness.Wesley H. Holliday & Tadeusz Litak - 2019 - Review of Symbolic Logic 12 (3):487-535.
What is an inference rule?Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi - 1992 - Journal of Symbolic Logic 57 (3):1018-1045.

View all 11 citations / Add more citations

References found in this work

No references found.

Add more references