Author,Title,Edition,Publisher,Year,Series,Number,ISBN,ISSN,URL
"Fitting, Melvin Chris and Mendelsohn, Richard L.",First-order modal logic,,Kluwer Academic,1999,Synthese library,,0792353358,,https://cir.nii.ac.jp/crid/1130282272709336192