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