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

First steps in modal logic

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

Tools and techniques in modal logic

  • 作者:Kracht,Marcus.
  • ISBN:0444500553
  • 出版社:Amsterdam ; New York : Elsevier, c1999.
  • 出版年:1999

An essay in modal logic

  • 作者:Wright,Georg Henrik von.
  • 出版社:Amsterdam : North-Holland Pub. Co., 1951.,Amsterdam : North-Holland pub. co., 1951.
  • 出版年:1951