著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Gasquet, Olivier and Herzig, Andreas and Said, Bilal and Schwarzentruber, François",Kripke's worlds : an introduction to modal logics via tableaux,,"Birkhäuser,Springer",2014,Studies in universal logic,,9783764385033,,https://cir.nii.ac.jp/crid/1130282273317192704