Pages that link to "Item:Q1344441"
From MaRDI portal
The following pages link to Modal-epistemic variants of Shapiro's system of epistemic arithmetic (Q1344441):
Displaying 8 items.
- Closure of a priori knowability under a priori knowable material implication (Q320484) (← links)
- In defense of epistemic arithmetic (Q1299766) (← links)
- Provability in principle and controversial constructivistic principles (Q1372941) (← links)
- Modal-epistemic arithmetic and the problem of quantifying in (Q2442888) (← links)
- The epistemic significance of numerals (Q2695028) (← links)
- Flagg realizability in arithmetic (Q3764127) (← links)
- Two Proof-Theoretic Remarks on EA + ECT (Q4521121) (← links)
- Reflecting in epistemic arithmetic (Q5687316) (← links)