Reflecting in epistemic arithmetic

DOI10.2307/2275785MaRDI QIDQ5687316zbMATH OpenOpenAlexFDO

Authors 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

absolute provabilityepistemic arithmeticmodal logicreflection principle

Mathematics Subject Classification ID

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

Recommendations

• Modal-epistemic variants of Shapiro's system of epistemic arithmetic
• In defense of epistemic arithmetic
• Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
• Provability in principle and controversial constructivistic principles
• Two Proof-Theoretic Remarks on EA + ECT

Cites work

• scientific article; zbMATH DE number 47306 (Why is no real title available?)
• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• scientific article; zbMATH DE number 194992 (Why is no real title available?)
• Integrating classical and intuitionistic type theory
• Intensional mathematics
• Modal-epistemic variants of Shapiro's system of epistemic arithmetic
• Self-reference and modal logic

Cited in

(6)

• Provability in principle and controversial constructivistic principles
• Non-deterministic logic of informal provability has no finite characterization
• Two Proof-Theoretic Remarks on EA + ECT
• Many-valued logic of informal provability: a non-deterministic strategy
• Epistemic predicates in the arithmetical context
• Nondeterministic first-order T-BAT logic

This page was built for publication: Reflecting in epistemic arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5687316)