Arithmetical necessity, provability and intuitionistic logic

DOI10.1111/J.1755-2567.1978.TB00831.XMaRDI QIDQ4196404zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

DerivabilityIntuitionistic LogicStandard Model of Peano ArithmeticKripke-ModelsModal OperatorProvability Interpretation

Mathematics Subject Classification ID

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)

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

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)