The following pages link to Hidenori Kurokawa (Q392282):
Displayed 15 items.
- The paradox of the knower revisited (Q392283) (← links)
- Tableaux and hypersequents for justification logics (Q408538) (← links)
- (Q625704) (redirect page) (← links)
- From the knowability paradox to the existence of proofs (Q625705) (← links)
- Hypersequent calculi for intuitionistic logic with classical atoms (Q636282) (← links)
- On Takeuti's early view of the concept of set (Q2097059) (← links)
- Substructural Logic of Proofs (Q2849432) (← links)
- Prefixed Tableau Systems for Logic of Proofs and Provability (Q2851946) (← links)
- Tableaux and Hypersequents for Justification Logic (Q3605536) (← links)
- (Q5004953) (← links)
- Resource sharing linear logic (Q5108027) (← links)
- (Q5354805) (← links)
- Hypersequent Calculus for Intuitionistic Logic with Classical Atoms (Q5434517) (← links)
- Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause (Q5864196) (← links)
- On the methodology of informal rigour: set theory, semantics, and intuitionism (Q6366513) (← links)