Provability, truth, and modal logic

DOI10.1007/BF00258073zbMath0426.03024OpenAlexW2026117380MaRDI QIDQ1135843

George Boolos

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

zbMATH Keywords

truthsemanticsPeano arithmeticprovabilitypropositional modal logicprovability interpretation of modalitytruth translation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

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

• Unnamed Item
• Unnamed Item
• Provability interpretations of modal logic
• Provability in arithmetic and a schema of Grzegorczyk
• Extremely undecidable sentences
• Arithmetical necessity, provability and intuitionistic logic