森北出版で発行している書籍「コンピュータサイエンスにおける様相論理」の詳細ページです。