[logic-ml] modalities and lex modalities

logic logic at math.tsukuba.ac.jp
Sun Mar 20 08:10:22 JST 2022

Previous message (by thread): [logic-ml] modal descent
Next message (by thread): [logic-ml] QIT46のご案内
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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


https://zbmath.org/pdf/07396429.pdf


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

Previous message (by thread): [logic-ml] modal descent
Next message (by thread): [logic-ml] QIT46のご案内
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Logic-ml mailing list