《可能世界的逻辑》

模态、自指和哥德尔定理--一个优美的模态分析案例(代序)［康宏逵］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