Kurahashi, Taishi

1. The persistence principle over weak interpretability logic
   2022/03/04 by Iwata, Sohei, Kurahashi, Taishi, Okawa, Yuya · 1 citation
   #FOS: Mathematics #Logic (math.LO)
2. The provability logic of all provability predicates
   2022/08/06 by Kurahashi, Taishi · 3 citations
   #FOS: Mathematics #Logic (math.LO)
3. The finite frame property of some extensions of the pure logic of necessitation
   2023/05/24 by Taishi Kurahashi, Y. Sato, Kurahashi, Taishi +1 · 2 citations
   Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge