可能世界的逻辑PDF电子书下载

模态、自指和哥德尔定理--一个优美的模态分析案例(代序)［康宏逵］ 1

一、模态逻辑 93

模态逻辑、模态语义学及其应用〔美国〕［R·芭尔坎·马库斯］ 93

模态逻辑中的框架和模型〔新西兰〕［M·J·克雪斯韦尔］ 111

模态逻辑中的量化〔美国〕［J·W·加森］ 130

二、时态与时间逻辑 159

逻辑和时间〔美国〕［J·P·伯吉斯］ 159

不实在的将来〔美国〕［J·P·伯吉斯］ 190

从事件造瞬间〔加拿大〕［S·K·托马森］ 217

三、道义逻辑 235

道义逻辑引论〔挪威〕［D·弗勒斯达尔］〔芬兰〕［R·希尔皮南］ 235

基于时态逻辑的道义逻辑〔美国〕［R·H·托马森］ 270

四、条件句逻辑 287

条件句与可能世界〔芬兰〕［R·希尔皮南］ 287

五、自然语言的逻辑研究 323

蒙太古的语号学〔美国〕［R·H·托马森］ 323

博弈论语义学：透视和展望〔芬兰〕［J·欣迪卡］ 396

写在出版之前［康宏逵］ 425