Arithmetical necessity, provability and intuitionistic logic
From MaRDI portal
Publication:4196404
DOI10.1111/j.1755-2567.1978.tb00831.xzbMath0409.03011MaRDI QIDQ4196404
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
Derivability; Intuitionistic Logic; Standard Model of Peano Arithmetic; Modal Operator; Kripke-Models; Provability Interpretation
03B45: Modal logic (including the logic of norms)
03F30: First-order arithmetic and fragments
03F55: Intuitionistic mathematics
03F25: Relative consistency and interpretations
Related Items
On the Blok-Esakia Theorem, A cut-free sequential system for the propositional modal logic of finite chains, Intuitionistic logic and modality via topology, The modal logic of Gödel sentences, Uniform Lyndon interpolation property in propositional modal logics, Logical equations and admissible rules of inference with parameters in modal provability logics, On superintuitionistic logics as fragments of proof logic extensions, Provability, truth, and modal logic, A propositional logic with explicit fixed points, Loeb operators and interior operators, Provability: The emergence of a mathematical modality, Amalgamation and interpolation in normal modal logics, Modal companions of intermediate propositional logics, Mathematical modal logic: A view of its evolution