模态逻辑 短评

  • 1人觉得有用 马蹄北去 2021-01-14 14:10:01

    可以作为周北海《模态逻辑导论》的补充，少模态谓词逻辑，多了互模拟，过滤和有穷模型性质

> 模态逻辑

模态逻辑
作者: 李娜
isbn: 7310047605
书名: 模态逻辑
页数: 253
定价: ¥20.00
出版社: 南开大学出版社
装帧: 平装
出版年: 2015-4-15