登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

On the Relational Translation Method for Propositional Modal Logics
出版社：中国科学院
出版年：2003
作者：Zhang
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Proof methods for modal and intuitionistic logics
  • 作者：Fitting,Melvin,
  • ISBN：9027715734
  • 出版社：Dordrecht, Holland ; Boston, U.S.A. : D. Reidel ; Hingham, MA : Sold and distributed in the U.S.A. a
  • 出版年：1983
...

Natural deduction, hybrid systems and modal logics
  • 作者：Indrzejczak,Andrzej.
  • ISBN：9789048187843
  • 出版社：Dordrecht : Springer, 2010.
  • 出版年：2010
...

Many-dimensional modal logics : theory and applications
  • 作者：Gabbay,Dov M.,
  • ISBN：0444508260
  • 出版社：Amsterdam ; Boston : Elsevier North Holland, 2003.
  • 出版年：2003
...

Model Generation for Many-sorted Equations and Automated Reasoning in Modal Logics
  • 作者：Zhang
  • 出版社：中国科学院
  • 出版年：2003
...

Investigations in modal and tense logics with applications to problems in philosophy and linguistics
  • 作者：Gabbay,Dov M.,
  • ISBN：9027706565
  • 出版社：Dordrecht, Holland ; Boston : D. Reidel Pub. Co., c1976.
  • 出版年：1976
...

Fourier modal method and its applications in computational nanophotonics
  • 作者：Kim,Hwi.
  • ISBN：9781420088380
  • 出版社：Boca Raton : CRC Press, c2012.
  • 出版年：2012