@techreport{weko_182595_1, author = "村上,祐子", title = "多層行為論理の意味論的性質", year = "2017", institution = "東北大学文学部", number = "4", month = "jul" }