Pages that link to "Item:Q1299766"
From MaRDI portal
The following pages link to In defense of epistemic arithmetic (Q1299766):
Displaying 13 items.
- Closure of a priori knowability under a priori knowable material implication (Q320484) (← links)
- Epistemic entrenchment and arithmetical hierarchy (Q685538) (← links)
- Provability in principle and controversial constructivistic principles (Q1372941) (← links)
- Epistemic independence in numerical possibility theory. (Q1395580) (← links)
- A defense of temperate epistemic transparency (Q1929757) (← links)
- Non-deterministic logic of informal provability has no finite characterization (Q2071578) (← links)
- Empiricism, probability, and knowledge of arithmetic: a preliminary defense (Q2250551) (← links)
- Modal-epistemic arithmetic and the problem of quantifying in (Q2442888) (← links)
- The epistemic significance of numerals (Q2695028) (← links)
- Epistemic arithmetic is a conservative extension of intuitionistic arithmetic (Q3728881) (← links)
- Two Proof-Theoretic Remarks on EA + ECT (Q4521121) (← links)
- MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY (Q4577994) (← links)
- REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION (Q5737943) (← links)