模态逻辑

译自:样相の论理.--1978:本书通俗、系统地介绍了真理、认识、时间、规范、命令等几种模态系统的逻辑方法和概念。