Epistemic arithmetic is a conservative extension of intuitionistic arithmetic

DOI10.2307/2274102zbMath0597.03012OpenAlexW1970869125MaRDI QIDQ3728881

Nicolas D. Goodman

Publication date: 1984

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

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

zbMATH Keywords

modal operatorHeyting's arithmeticEpistemic arithmeticLewis's S4

Mathematics Subject Classification ID

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

Related Items (10)

A new “feasible” arithmetic ⋮ Provability in principle and controversial constructivistic principles ⋮ A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES ⋮ DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC ⋮ Modal-epistemic arithmetic and the problem of quantifying in ⋮ Explicit Provability and Constructive Semantics ⋮ Integrating classical and intuitionistic type theory ⋮ Epistemic and intuitionistic formal systems ⋮ Non-deterministic logic of informal provability has no finite characterization ⋮ Oskar Becker and the modal translation of intuitionistic logic

Cites Work

• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie

This page was built for publication: Epistemic arithmetic is a conservative extension of intuitionistic arithmetic