The Logic of Provability Giorgi Japaridze Department of Computer and...  Home/Search
Context Related
| villanova.edu/~japaridz/Text...prov.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: villanova.edu/~japaridz/study (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Contents 1. Introduction, Solovay's theorems . . . . . . . . . . . . . . . . . . . . . . . . . . 476 2. Modal logic preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 477 3. Proof of Solovay's theorems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 481 4. Fixed point theorems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 483 5. Propositional theories and Magari-algebras . . . . . . . . . . . . . . . . . . . . . 484 6. The extent of Solovay's... (Update)
Cited by: More
Determining Distance from Defocused Images of Simple Objects - Subbarao (1989) (Correct)
Similar documents (at the sentence level):
72.5%: The Logic of Provability - Japaridze, de Jongh (1997) (Correct)
Active bibliography (related documents): More All
0.5: Contributions to the Study of Resource-Bounded Measure - Camara (1994) (Correct)
0.4: Explicit Provability And Constructive Semantics - Artemov (2001) (Correct)
0.4: Singular Cardinals And The PCF Theory - Jech (1995) (Correct)
Similar documents based on text: More All
0.3: Interpolation, Definability and Fixed Points in.. - Areces, Hoogland, de.. (Correct)
0.2: A simple proof of arithmetical completeness for.. - Japaridze (1996) (Correct)
0.2: A Decidable Predicate Logic of Knowledge - Japaridze (1996) (Correct)
BibTeX entry: (Update)
Proceedings of the International Conference on Pattern Recognition. Ogle, K.N. 1968. Optics. Chapter VII, Section 2. Charles C Thomas . Publisher. http://citeseer.ist.psu.edu/the68chapter.html More
@misc{ the68chapter,
author = "P. the and I. on and P. Recognition and O. Optics",
title = "Chapter VII",
text = "Proceedings of the International Conference on Pattern Recognition. Ogle,
K.N. 1968. Optics. Chapter VII, Section 2. Charles C Thomas . Publisher.",
year = "1968",
url = "citeseer.ist.psu.edu/the68chapter.html" }
Citations (may not include all citations):295 Cambridge University Press (context) - of - 1979
295 Cambridge University Press (context) - of - 1993
113 Cambridge University Press (context) - Logic, Introduction - 1980
108 Journal of Symbolic Logic (context) - provability, the et al. - 1993
108 Journal of Symbolic Logic (context) - systems, interpretations - 1984
104 Annals of Pure and AppliedLogic (context) - logics, provability - 1994
104 Annals of Pure and AppliedLogic (context) - provability, bounded - 1993
104 Annals of Pure and AppliedLogic (context) - on, algebras et al. - 1993
42 Annals of Pure and Applied Logic (context) - logic, Sigma - 1993
42 Annals of Pure and AppliedLogic (context) - completeness, polymodal - 1993
42 Annals of Pure and AppliedLogic (context) - of, hierarchy - 1994
34 Journal of Symbolic Logic (context) - of, of et al. - 1987
34 Journal of Symbolic Logic (context) - logic, arithmetic - 1990
30 Journal of Symbolic Logic (context) - for, arithmetical - 1996
28 Zeitschrift fur Mathematische Logik und Grundlagen der Mathe.. (context) - provability - 1991
24 Cambridge University Press (context) - Logic - 1989
23 Archive for Mathematical Logic (context) - complexity, applications et al. - 1993
19 Notre Dame Journal of Formal Logic (context) - modal, provability - 1984
15 Journal of Philosophical Logic (context) - logics, enumerable et al. - 1984
15 Journal of Philosophical Logic (context) - logic, provability et al. - 1983
15 Journal of Philosophical Logic (context) - logic, provability et al. - 1982
12 Studia Logica (context) - of, tolerance - 1992
12 Studia Logica (context) - of - 1991
12 Studia Logica (context) - of, in et al. - 1976
9 Annals of Pure and AppliedLogic (context) - proofs - 1994
8 New York (context) - MODAL, Methuen - 1984
7 Archiv fur Mathematische Logik und Grundlagenforschung (context) - of, -conservativity - 1990
7 Archiv fur Mathematische Logik und Grundlagenforschung (context) - of, -conservativity - 1992
7 Doklady Akademii Nauk SSSR (context) - predicate, provability - 1987
7 Springer Verlag (context) - Structure - 1994
6 Notre Dame Journal of Formal Logic (context) - proofs, completeness et al. - 1992
6 Studia Logica (context) - of, of et al. - 1998
6 Journal of Symbolic Logic (context) - finite, PA - 1987
6 Studia Logica (context) - of, proof et al. - 1987
6 Annals of Pure and AppliedLogic (context) - in, provabilitylogic - 1995
6 Zeitschrift fur Mathematische Logik und Grundlagen der Mathe.. (context) - proofs - 1989
6 Studia Logica (context) - the, modality - 1991
6 Zeitschrift fur Mathematische Logik und Grundlagen der Mathe.. (context) - proofs, investigation - 1990
6 Journal of Symbolic Logic (context) - about, of et al. - 1948
6 Journal of Symbolic Logic (context) - diagonalizable - 1997
6 Studia Logica (context) - for, progressions et al. - 1991
5 Archive for Mathematical Logic (context) - metamathematics, setting - 1960
5 Journal of Symbolic Logic (context) - feasibility - 1971
5 Notre Dame Journal of Formal Logic - of, proofs et al. - 1988
5 Transactions of the American Mathematical Society (context) - extensions, arithmetic - 1979
5 Studia Logica (context) - proof, theorem - 1991
5 Zeitschrift fur Mathematische Logik und Grundlagen der Mathe.. (context) - interpretations - 1961
5 Proof Theory and Computational Complexity (context) - Arithmetic - 1993
4 Journal of Symbolic Logic (context) - progressions, theories - 1962
4 Zeitschrift fur Mathematische Logik und Grundlagen der Mathe.. (context) - in, logics - 1989
3 University of Utrecht (context) - Diagonalization, PhD - 1981
3 a provability logical study of systems with built-in consist.. (context) - children - 1989
3 Ergebnisse Math (context) - des, Aussagenkalkuls - 1933
3 Journal of Symbolic Logic (context) - their, provability - 1983
3 Annals of Mathematical Logic (context) - sentences - 1979
3 On interpretability in set theories (context) - set, Math et al. - 1971
3 Art emov and G (context) - Logic, Rep et al. - 1995
3 Hughes and M (context) - Springer - 1939
3 Matematicheskie Zametkie (context) - logic, interpolation - 1989
3 Doklady Akademii Nauk SSSR (context) - logics, provability - 1986
3 Izvestiya Akad (context) - logics, provability - 1985
3 Doklady Akademii Nauk SSSR (context) - truth, of - 1985
3 Moscow State University (context) - Logical, Investigation et al. - 1986
3 Georgian SSR (context) - completeness, logic et al. - 1988
3 Studia Logica (context) - enumerable, of - 1990
3 Georgian SSR (context) - with, arithmetical et al. - 1990
3 Notre Dame Journal of Formal Logic (context) - child, Peano's - 1994
3 Troelstra and H (context) - Theories, Amsterdam - 1953
3 Stekhlov Mathematical Institute (context) - of, over et al. - 1988
3 Journal of Symbolic Logic (context) - sentences - 1982
3 Studia Logica (context) - fixed-point, intuitionistic et al. - 1976
3 Notre Dame Journal of Formal Logic (context) - logic - 1992
3 Studia Logica (context) - logic, quantifiers - 1991
3 Fundamenta Mathematicae (context) - faithful - 1960
3 Notre Dame Journal of Formal Logic (context) - fixed, provabilitylogic - 1990
3 Annals of Pure and AppliedLogic (context) - notion, interpretability et al. - 1993
3 Journal of Symbolic Logic (context) - superexponentially, in et al. - 1992
3 Notre Dame Journal of Formal Logic - proof, completeness et al. - 1994
3 Studia Logica (context) - points, logic - 1991
3 Zeitschrift fur Mathematische Logik und Grundlagen der Mathe.. (context) - principles, for et al. - 1968
3 Zeitschrift fur Mathematische Logik und Grundlagen der Mathe.. (context) - points - 1988
3 Cambridge University Press (context) - Theory - 1996
3 Bulletino della Unione Matematica Italiana (context) - diagonalizable, Peano - 1979
3 Israel Journal of Mathematics (context) - with, operators et al. - 1986
3 ath. Univ. Carolinae, 13, pp. 445--455. P. H' ajek and F (context) - in, Comm - 1972
3 Doklady Akademii Nauk SSSR (context) - of, of et al. - 1986
3 Universiteit van Amsterdam (context) - Metamathematics, thesis - 1993
2 Acta Philosophica Gothoburgensia (context) - of, Formulas et al. - 1997
2 Filosofiska Meddelanden (context) - Logic, Provability et al. - 1994
2 To appear in the Annals of Pure and Applied Logic (context) - of, --Sentences et al. - 1994
2 Journal of Symbolic Logic (context) - models, of - 1990
1 Studia Logica (context) - free - 1991
1 Semiotika i Informatika (context) - modal - 1987
1 Sibirskii Matematichskii Zhurnal (context) - theories, progressions - 1992
1 Izvestiya Akademii Nauk SSSR (context) - classification, provability - 1990
1 Carbone and Montagna (context) - de Jongh - 1990
1 Dissertationes mathematicae (context) - diagonalizable, theories et al. - 1993
1 Springer-Verlag (context) - modal - 1985
Documents on the same site (http://www.csc.villanova.edu/~japaridz/study.html): More
A Finitary Treatment of the Closed Fragment of - Japaridze's Provability Logic (Correct)
A Simple Proof of Arithmetical Completenessf Or 1.. - Giorgi Japaridze.. (Correct)
The Simplest Computability-Logic Completeness - Proof Giorgi Japaridze (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC