The following pages link to Taishi Kurahashi (Q312495):
Displayed 48 items.
- Liar-type paradoxes and the incompleteness phenomena (Q312496) (← links)
- On predicate provability logics and binumerations of fragments of Peano arithmetic (Q377475) (← links)
- Rosser-type undecidable sentences based on Yablo's paradox (Q484194) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Henkin sentences and local reflection principles for Rosser provability (Q892168) (← links)
- On arithmetical completeness of the logic of proofs (Q1625591) (← links)
- Arithmetical completeness theorem for modal logic \(\mathsf{K}\) (Q1743993) (← links)
- On partial disjunction properties of theories containing Peano arithmetic (Q1756504) (← links)
- Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations (Q1756596) (← links)
- Rosser provability and the second incompleteness theorem (Q2097058) (← links)
- On inclusions between quantified provability logics (Q2115286) (← links)
- On Guaspari's problem about partially conservative sentences (Q2120971) (← links)
- Effectively constructible fixed points in Sacchetti's modal logics of provability (Q2134275) (← links)
- Rosser provability and normal modal logics (Q2186698) (← links)
- On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos (Q2910986) (← links)
- ILLUSORY MODELS OF PEANO ARITHMETIC (Q2976385) (← links)
- GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑<sub><i>n</i></sub>-DEFINABLE THEORIES OF ARITHMETIC (Q4600818) (← links)
- PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC (Q4692089) (← links)
- ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY (Q4918381) (← links)
- PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC (Q5015727) (← links)
- Topological semantics of conservativity and interpretability logics (Q5163988) (← links)
- UNIVERSAL ROSSER PREDICATES (Q5738203) (← links)
- A NOTE ON DERIVABILITY CONDITIONS (Q5855755) (← links)
- Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)
- Modal completeness of sublogics of the interpretability logic IL (Q6047678) (← links)
- Some observations on the FGH theorem (Q6057622) (← links)
- Refining the arithmetical hierarchy of classical principles (Q6094157) (← links)
- Prenex normalization and the hierarchical classification of formulas (Q6128782) (← links)
- DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC (Q6131230) (← links)
- The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} (Q6178467) (← links)
- CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC (Q6180604) (← links)
- Effectively constructible fixed points in Sacchetti's modal logics of provability (Q6310492) (← links)
- Rosser provability and the second incompleteness theorem (Q6314252) (← links)
- Fixed-point properties for predicate modal logics (Q6321280) (← links)
- On Guaspari's problem about partially conservative sentences (Q6324781) (← links)
- Prenex normal form theorems in semi-classical arithmetic (Q6348633) (← links)
- On inclusions between quantified provability logics (Q6357911) (← links)
- The persistence principle over weak interpretability logic (Q6392768) (← links)
- The provability logic of all provability predicates (Q6407156) (← links)
- Incompleteness and undecidability of theories consistent with $\mathsf{R}$ (Q6418740) (← links)
- Simplified Veltman frames for sublogics of $\mathbf{IL}$ (Q6418844) (← links)
- The finite frame property of some extensions of the pure logic of necessitation (Q6437753) (← links)
- On the conservation results for local reflection principles (Q6440064) (← links)
- Certified $\Sigma_1$-sentences (Q6441151) (← links)
- Pour-El's Landscape (Q6454177) (← links)
- Cut-free sequent calculi for the provability logic D (Q6456612) (← links)
- The Modal Logic of Provability and Forcing (Q6457654) (← links)
- Interpolation properties for the bimodal provability logic $\mathbf{GR}$ (Q6459798) (← links)