Provability, truth, and modal logic
From MaRDI portal
Publication:1135843
DOI10.1007/BF00258073zbMath0426.03024OpenAlexW2026117380MaRDI QIDQ1135843
Publication date: 1980
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00258073
truthsemanticsPeano arithmeticprovabilitypropositional modal logicprovability interpretation of modalitytruth translation
Related Items
Maximality in modal logic, PROBLEMS WITH COMPLEXITY IN GOLD'S PARADIGM OF INDUCTION Part I: Dynamic Complexity, A propositional logic with explicit fixed points, Provability: The emergence of a mathematical modality, Chalmers, Quantifier Variance and Mathematicians’ Freedom, Asymptotic Quasi-completeness and ZFC, Accelerating machines: a review, A critical appraisal of second-order logic, Saving the truth schema from paradox
Cites Work