Model theory for modal logic : Kripke models for modal predicate calculi

出版社:Dordrecht, Holland ; Boston : D. Reidel Pub. Co., c1979.
出版年:1979
作者:Bowen,Kenneth A.
资源类型:图书
细分类型:西文文献
相关推荐

Modal logic

  • 作者:Blackburn,Patrick,
  • ISBN:0521802008
  • 出版社:Cambridge [England] ; New York : Cambridge University Press, c2001.
  • 出版年:2001

Modal logic

  • 作者:Blackburn,Patrick,
  • ISBN:0521527147
  • 出版社:Cambridge : Cambridge University Press, 2001.,Cambridge ; New York : Cambridge University Press, 2002.
  • 出版年:2002

Modal logic

  • 作者:Chagrov,Alexander.
  • ISBN:0198537794
  • 出版社:Oxford : Clarendon Press ; New York : Oxford University Press, 1997.
  • 出版年:1997

Handbook of modal logic

  • 作者:Blackburn,Patrick,
  • ISBN:9780444516909
  • 出版社:Amsterdam ; Boston : Elsevier, 2007.
  • 出版年:2007

Displaying modal logic

  • 作者:Wansing,Heinrich.
  • ISBN:079235205X
  • 出版社:Dordrecht [Netherlands] ; Boston : Kluwer Academic, c1998.
  • 出版年:1998

First steps in modal logic

  • 作者:Popkorn,Sally.
  • ISBN:052146482X
  • 出版社:Cambridge ; New York : Cambridge University Press, 2008.
  • 出版年:2008