vix.ing · top · new · best · stats · spec

Sato, Yuta

  1. 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