[logic-ml] modal descent

logic logic at math.tsukuba.ac.jp
Wed Mar 16 09:54:58 JST 2022


  次の論文をreviewしましたので、
    御案内しておきます。


https://zbmath.org/pdf/07460114.pdf


にしむら
https://www.researchgate.net/profile/Hirokazu-Nishimura
https://www.youtube.com/watch?v=N0vUHRnvId4



More information about the Logic-ml mailing list