Arithmetical necessity, provability and intuitionistic logic
DOI10.1111/J.1755-2567.1978.TB00831.XzbMATH Open0409.03011OpenAlexW2035120169MaRDI QIDQ4196404FDOQ4196404
Authors: Rob Goldblatt 
Publication date: 1978
Published in: Theoria (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1111/j.1755-2567.1978.tb00831.x
DerivabilityIntuitionistic LogicStandard Model of Peano ArithmeticKripke-ModelsModal OperatorProvability Interpretation
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25) Intuitionistic mathematics (03F55)
Cited In (16)
- Provability, truth, and modal logic
- MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
- Amalgamation and interpolation in normal modal logics
- A propositional logic with explicit fixed points
- A cut-free sequential system for the propositional modal logic of finite chains
- Intuitionistic logic and modality via topology
- Logical equations and admissible rules of inference with parameters in modal provability logics
- On superintuitionistic logics as fragments of proof logic extensions
- Mathematical modal logic: A view of its evolution
- On the Blok-Esakia theorem
- The modal logic of Gödel sentences
- Loeb operators and interior operators
- Modal companions of intermediate propositional logics
- Provability: The emergence of a mathematical modality
- Uniform Lyndon interpolation property in propositional modal logics
- Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness
This page was built for publication: Arithmetical necessity, provability and intuitionistic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4196404)
