- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On modal systems having arithmetical interpretations
Journal of Symbolic Logic 49 (3):935-942 (1984)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Arnon Avron. Relevance and paraconsistency—a new approach. The journal of symbolic logic, vol. 55 , pp. 707–732. - Arnon Avron. Relevance and paraconsistency—a new approach. Part II: the formal systems. Notre Dame journal of formal logic, vol. 31 , pp. 169–202. - Arnon Avron. Relevance and paraconsistency—a new approach. Part III: cut-free Gentzen-type systems. Notre Dame journal of formal logic, vol. 32 , pp. 147–160.Alasdair Urquhart - 1992 - Journal of Symbolic Logic 57 (4):1481-1482.
On the complexity of arithmetical interpretations of modal formulae.Lev D. Beklemishev - 1993 - Archive for Mathematical Logic 32 (3):229-238.
R-Mingle is Nice, and so is Arnon Avron.J. Michael Dunn - 2021 - In Ofer Arieli & Anna Zamansky, Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Cham: Springer Verlag. pp. 141-165.
Introduction: Non-classical Logics—Between Semantics and Proof Theory.Ofer Arieli & Anna Zamansky - 2021 - In Ofer Arieli & Anna Zamansky, Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Cham: Springer Verlag. pp. 1-11.
Interpretations of Weak Positive Modal Logics.Katalin Bimbó - 2021 - In Ofer Arieli & Anna Zamansky, Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Cham: Springer Verlag. pp. 13-38.
Modal analysis of generalized Rosser sentences.Vítězslav Švejdar - 1983 - Journal of Symbolic Logic 48 (4):986-999.
Finite Kripke models and predicate logics of provability.Sergei Artemov & Giorgie Dzhaparidze - 1990 - Journal of Symbolic Logic 55 (3):1090-1098.
Solovay-Type Theorems for Circular Definitions.Shawn Standefer - 2015 - Review of Symbolic Logic 8 (3):467-487.
The interpretability logic of all reasonable arithmetical theories.Joost J. Joosten & Albert Visser - 2000 - Erkenntnis 53 (1):3-26.
M. H. Löb. Extensional interpretations of modal logics. The journal of symbolic logic, vol. 31 , pp. 23–45.David Makinson - 1971 - Journal of Symbolic Logic 36 (4):692.
Analytics
Added to PP
2009-01-28
Downloads
191 (#211,734)
6 months
54 (#159,436)
2009-01-28
Downloads
191 (#211,734)
6 months
54 (#159,436)
Historical graph of downloads
Author's Profile
Citations of this work
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
The predicate modal logic of provability.Franco Montagna - 1984 - Notre Dame Journal of Formal Logic 25 (2):179-189.
Non-Well-Founded Proofs for the Grzegorczyk Modal Logic.Yury Savateev & Daniyar Shamkanov - 2021 - Review of Symbolic Logic 14 (1):22-50.
References found in this work
A modal sequent calculus for a fragment of arithmetic.G. Sambin & S. Valentini - 1980 - Studia Logica 39 (2-3):245-256.
Fifty years of self-reference in arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (4):357-374.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation