Arithmetical necessity, provability and intuitionistic logic

DOI10.1111/j.1755-2567.1978.tb00831.xzbMath0409.03011OpenAlexW2035120169MaRDI QIDQ4196404

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

zbMATH Keywords

DerivabilityIntuitionistic LogicStandard Model of Peano ArithmeticModal OperatorKripke-ModelsProvability Interpretation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55) Relative consistency and interpretations (03F25)

Related Items

On superintuitionistic logics as fragments of proof logic extensions ⋮ Intuitionistic logic and modality via topology ⋮ The modal logic of Gödel sentences ⋮ Provability, truth, and modal logic ⋮ A propositional logic with explicit fixed points ⋮ Loeb operators and interior operators ⋮ Mathematical modal logic: A view of its evolution ⋮ Provability: The emergence of a mathematical modality ⋮ Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness ⋮ Amalgamation and interpolation in normal modal logics ⋮ Modal companions of intermediate propositional logics ⋮ A cut-free sequential system for the propositional modal logic of finite chains ⋮ Uniform Lyndon interpolation property in propositional modal logics ⋮ On the Blok-Esakia Theorem ⋮ Logical equations and admissible rules of inference with parameters in modal provability logics ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS

This page was built for publication: Arithmetical necessity, provability and intuitionistic logic