S. Feferman. Reflecting on incompleteness. The Journal of Symbolic Logic, vol. 56 , no. 1, pp. 1–49. - W. N. Reinhardt. Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic, vol. 15 , no. 2, pp. 219–251. - V. Halbach and L. Horsten. Axiomatizing Kripke’s theory of truth. The Journal of Symbolic Logic, vol. 71 , no. 2, pp. 667–712 - H. Friedman and M. Sheard. An axiomatic approach to self-referential truth.Annals of Pure and Applied Logic, vol. 33 , no. 1, pp. 1–21. - V. Halbach. A system of complete and consistent truth. Notre Dame Journal of Formal Logic, vol. 35 , no. 3, pp. 311–327 [Book Review]

Bulletin of Symbolic Logic 16 (3):424-428 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600000925

Links

PhilArchive



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

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

Solomon Feferman. Reflecting on incompleteness. The journal of symbolic logic, vol. 56 , pp. 1–49.Andrea Cantini - 1995 - Journal of Symbolic Logic 60 (1):345-347.
M. H. Löb. Concatenation as basis for a complete system of arithmetic. The journal of symbolic logic, vol. 18 , pp. 1–6. - M. H. Löb. Formal systems of constructive mathematics. The journal of symbolic logic, vol. 21 , pp. 63–75. [REVIEW]Charles Parsons - 1970 - Journal of Symbolic Logic 35 (1):150-150.
M. H. Löb. Concatenation as basis for a complete system of arithmetic. The journal of symbolic logic, vol. 18 (1953), pp. 1–6. - M. H. Löb. Formal systems of constructive mathematics. The journal of symbolic logic, vol. 21 (1956), pp. 63–75. [REVIEW]H. Hermes & H. A. Pogorzelski - 1970 - Journal of Symbolic Logic 35 (1):150-150.
Sy D. Friedman. Strong coding. Annals of pure and applied logic, vol. 35, pp. 1–98. - Sy D. Friedman. A guide to “Strong coding.”Annals of pure and applied logic, vol. 35, pp. 99–122. [REVIEW]Philip Welch - 1990 - Journal of Symbolic Logic 55 (3):1311-1313.
S. N. Artemov. Arithmetically complete modal theories. Six papers in logic, American Mathematical Society translations, ser. 2 vol. 135, American Mathematical Society, Providence1987, pp. 39–54. , vol. 14 , pp. 115–133.) - S. N. Artemov. On modal logics axiomatizing provability. Mathematics of the USSR—Izvestiya, vol. 27 no. 3 , pp. 401–429. , pp. 1123–1154.) - S. N. Artemov. Nonarithmeticity of truth predicate logics of provability. Soviet mathematics—Doklady, vol. 32 , pp. 403–405. , pp. 270–271.) - V. A. Vardanyan. Arithmetic complexity of predicate logics of provability and their fragments. Soviet mathematics—Doklady, vol. 33 no. 3 , pp. 569–572. , pp. 11–14.) - S. N. Artemov. Numerically correct provability logics. Soviet mathematics—Doklady, vol. 34 , pp. 384–387. , pp. 1289–1292.). [REVIEW]Vann McGee - 1991 - Journal of Symbolic Logic 56 (1):329-332.
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.
Robert L. Martin and Peter W. Woodruff. On representing ‘true-in-L' in L. Philosophia , vol. 5 no. 3 , pp. 213–217. - Saul Kripke. Outline of a theory of truth. The journal of philosophy, vol. 72 , pp. 690–716. - Anil Gupta. Truth and paradox. Journal of philosophical logic, vol. 11 , pp. 1–60. - Hans G. Herzberger. Notes on naive semantics. Journal of philosophical logic, vol. 11 , pp. 61–102. [REVIEW]Geoffrey Hellman - 1985 - Journal of Symbolic Logic 50 (4):1068-1071.
Roderick M. Chisholm. Contrary-to-duty imperatives and deontic logic. Analysis , vol. 24 no. 2 , pp. 33–36. - Mark Fisher. A contradiction in deontic logic?Analysis , vol. 25 no. 1 , pp. 12–13. - G. H. von Wright. A new system of deontic logic. Danish yearbook of philosophy, vol. 1 , pp. 173–182. - G. H. von Wright. A correction to a new system of deontic logic. Danish yearbook of philosophy, vol. 2 , pp. 103–107. [REVIEW]Frederic B. Fitch - 1967 - Journal of Symbolic Logic 32 (2):243-244.
Bolesław Sobociński. On the single axioms of protothetic. Notre Dame journal of formal logic, vol. 1 , pp. 52–73, and vol. 2 , pp. 111–126, 129–148. [REVIEW]A. N. Prior - 1965 - Journal of Symbolic Logic 30 (2):245-246.
Bing Kurt. . vol. 1 no. 2 , pp. 21–28, and vol. 1 no. 3 , pp. 57–60.S. Karlin - 1948 - Journal of Symbolic Logic 13 (4):225-225.

Analytics

Added to PP
2019-04-28

Downloads
18 (#859,738)

6 months
8 (#415,167)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.
An Axiomatic Approach to Self-Referential Truth.Harvey Friedman & Michael Sheard - 1987 - Annals of Pure and Applied Logic 33 (1):1--21.
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.

View all 6 references / Add more references