Pages that link to "Item:Q3728881"
From MaRDI portal
The following pages link to Epistemic arithmetic is a conservative extension of intuitionistic arithmetic (Q3728881):
Displaying 10 items.
- Integrating classical and intuitionistic type theory (Q580341) (← links)
- Epistemic and intuitionistic formal systems (Q580343) (← links)
- Provability in principle and controversial constructivistic principles (Q1372941) (← links)
- Non-deterministic logic of informal provability has no finite characterization (Q2071578) (← links)
- Oskar Becker and the modal translation of intuitionistic logic (Q2094160) (← links)
- Modal-epistemic arithmetic and the problem of quantifying in (Q2442888) (← links)
- Explicit Provability and Constructive Semantics (Q2732527) (← links)
- A new “feasible” arithmetic (Q4532603) (← links)
- A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES (Q6072337) (← links)
- DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC (Q6131230) (← links)
