Reflecting in epistemic arithmetic

DOI10.2307/2275785zbMath0865.03013OpenAlexW2079871207MaRDI QIDQ5687316

Leon Horsten

Publication date: 22 January 1997

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275785

zbMATH Keywords

modal logicreflection principleepistemic arithmeticabsolute provability

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)

Related Items (2)

MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY ⋮ Non-deterministic logic of informal provability has no finite characterization

Cites Work

• Integrating classical and intuitionistic type theory
• Intensional mathematics
• Self-reference and modal logic
• Modal-epistemic variants of Shapiro's system of epistemic arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reflecting in epistemic arithmetic