DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC
From MaRDI portal
Publication:6131230
DOI10.1017/s1755020322000363arXiv2110.02576OpenAlexW4312156479MaRDI QIDQ6131230
Unnamed Author, Taishi Kurahashi
Publication date: 4 April 2024
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2110.02576
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Epistemic and intuitionistic formal systems
- Epistemic theories and the interpretation of Gödel's incompleteness theorems
- Provability interpretations of modal logic
- On partial disjunction properties of theories containing Peano arithmetic
- Some embedding theorems for modal logic
- Partially Conservative Extensions of Arithmetic
- The equivalence of the disjunction and existence properties for modal arithmetic
- Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
- The disjunction property implies the numerical existence property
- Some problem in elementary arithmetics
- Two Proof-Theoretic Remarks on EA + ECT
- Absolute Versions of Incompleteness Theorems
- On the interpretation of intuitionistic number theory
- A NOTE ON DERIVABILITY CONDITIONS
- A concise introduction to mathematical logic
This page was built for publication: DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC
