- 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
A course on bimodal provability logic
Annals of Pure and Applied Logic 73 (1):109-142 (1995)
Abstract
In this paper we study 1. the frame-theory of certain bimodal provability logics involving the reflection principle and we study2. certain specific bimodal logics with a provability predicate for a subtheory of Peano arithmetic axiomatized by a non-standardly finite number of axiomsAuthor's Profile
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
Review: Albert Visser, A Course on Bimodal Provability Logic. [REVIEW]Franco Montagna - 1997 - Journal of Symbolic Logic 62 (2):686-687.
All finitely axiomatizable subframe logics containing the provability logic CSM $_{0}$ are decidable.Frank Wolter - 1998 - Archive for Mathematical Logic 37 (3):167-182.
Bimodal logics for extensions of arithmetical theories.Lev D. Beklemishev - 1996 - Journal of Symbolic Logic 61 (1):91-124.
On bimodal logics of provability.Lev D. Beklemishev - 1994 - Annals of Pure and Applied Logic 68 (2):115-159.
On sequent systems for bimodal provability logics MOS and prl1.Katsumi Sasaki - 2002 - Bulletin of the Section of Logic 31 (2):91-101.
On the provability logic of bounded arithmetic.Rineke Verbrugge & Alessandro Berarducci - 1991 - Annals of Pure and Applied Logic 61 (1-2):75-93.
Closed fragments of provability logics of constructive theories.Albert Visser - 2008 - Journal of Symbolic Logic 73 (3):1081-1096.
A propositional logic with explicit fixed points.Albert Visser - 1981 - Studia Logica 40 (2):155 - 175.
On strong provability predicates and the associated modal logics.Konstantin N. Ignatiev - 1993 - Journal of Symbolic Logic 58 (1):249-290.
A Basic System of Congruential-to-Monotone Bimodal Logic and Two of Its Extensions.I. L. Humberstone - 1996 - Notre Dame Journal of Formal Logic 37 (4):602-612.
The decision problem of provability logic with only one atom.Vítězslav Švejdar - 2003 - Archive for Mathematical Logic 42 (8):763-768.
What is the upper part of the lattice of bimodal logics?Frank Wolter - 1994 - Studia Logica 53 (2):235 - 241.
Brouwer-Zadeh logic, decidability and bimodal systems.Roberto Giuntini - 1992 - Studia Logica 51 (1):97 - 112.
Analytics
Added to PP
2014-01-16
Downloads
25 (#647,902)
6 months
9 (#347,496)
2014-01-16
Downloads
25 (#647,902)
6 months
9 (#347,496)
Historical graph of downloads
Author's Profile
Citations of this work
On strong provability predicates and the associated modal logics.Konstantin N. Ignatiev - 1993 - Journal of Symbolic Logic 58 (1):249-290.
The structure of lattices of subframe logics.Frank Wolter - 1997 - Annals of Pure and Applied Logic 86 (1):47-100.
Modal Matters for Interpretability Logics.Evan Goris & Joost Joosten - 2008 - Logic Journal of the IGPL 16 (4):371-412.
On bimodal logics of provability.Lev D. Beklemishev - 1994 - Annals of Pure and Applied Logic 68 (2):115-159.
Bimodal logics for extensions of arithmetical theories.Lev D. Beklemishev - 1996 - Journal of Symbolic Logic 61 (1):91-124.
References found in this work
Review of Robert M. Solovay's Provability Interpretations of Modal Logic.George Boolos - 1981 - Journal of Symbolic Logic 46 (3):661-662.
Modal analysis of generalized Rosser sentences.Vítězslav Švejdar - 1983 - Journal of Symbolic Logic 48 (4):986-999.
The relation of a to prov ⌜a ⌝ in the lindenbaum sentence algebra.C. F. Kent - 1973 - Journal of Symbolic Logic 38 (2):295-298.
The relation of a to $\operatorname{prov} \ulcorner a \urcorner$ in the lindenbaum sentence algebra.C. F. Kent - 1973 - Journal of Symbolic Logic 38 (2):295 - 298.
Provability in finite subtheories of pa and relative interpretability: A modal investigation.Franco Montagna - 1987 - Journal of Symbolic Logic 52 (2):494-511.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
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
Server: philpapers-web-747975fc64-d7skc uwo