Modal-epistemic variants of Shapiro's system of epistemic arithmetic

DOI10.1305/NDJFL/1094061865zbMath0816.03031OpenAlexW2041236447MaRDI QIDQ1344441

Leon Horsten

Publication date: 13 February 1995

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1094061865

zbMATH Keywords

Heyting arithmeticpossible-worlds semanticsModal-Epistemic Arithmetic

Mathematics Subject Classification ID

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

Related Items (4)

Closure of a priori knowability under a priori knowable material implication ⋮ The epistemic significance of numerals ⋮ Modal-epistemic arithmetic and the problem of quantifying in ⋮ Reflecting in epistemic arithmetic

This page was built for publication: Modal-epistemic variants of Shapiro's system of epistemic arithmetic