内田種臣
『様相の論理』早稲田大学出版部、1978年