著者名書名版表示出版者名出版年シリーズ名番号 ISBN ISSN URL Benthem, J. F. A. K. van Exploring logical dynamics CSLI Publications 1996 Studies in logic, language and information 1575860597,1575860589 https://ci.nii.ac.jp/ncid/BA29235043