{"created":"2021-03-01T06:05:52.660648+00:00","id":2181,"links":{},"metadata":{"_buckets":{"deposit":"c0167dd1-c65a-444e-a54f-b44b47e1b330"},"_deposit":{"id":"2181","owners":[],"pid":{"revision_id":0,"type":"depid","value":"2181"},"status":"published"},"_oai":{"id":"oai:niigata-u.repo.nii.ac.jp:00002181","sets":["176:488:489","453:454"]},"item_5_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2003","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"2","bibliographicPageEnd":"132","bibliographicPageStart":"125","bibliographicVolumeNumber":"14","bibliographic_titles":[{"bibliographic_title":"Nihonkai Mathematical Journal"},{"bibliographic_title":"Nihonkai Mathematical Journal","bibliographic_titleLang":"en"}]}]},"item_5_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"An intuitionistic modal logic that is an intuitionistic bi-modal version of the modal logic K5 is proved, by means of the filtration method, to enjoy the finite model property.","subitem_description_type":"Abstract"}]},"item_5_publisher_7":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"新潟大学"}]},"item_5_select_19":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"publisher"}]},"item_5_source_id_11":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA10800960","subitem_source_identifier_type":"NCID"}]},"item_5_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"13419951","subitem_source_identifier_type":"ISSN"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Takano, Mitio"}],"nameIdentifiers":[{"nameIdentifier":"7407","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-07-29"}],"displaytype":"detail","filename":"5_0014.pdf","filesize":[{"value":"1.2 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"5_0014.pdf","url":"https://niigata-u.repo.nii.ac.jp/record/2181/files/5_0014.pdf"},"version_id":"aa2bfb9f-64a6-4e7d-80cb-d1041e8cc815"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"Finite model property","subitem_subject_scheme":"Other"},{"subitem_subject":"intuitionistic modal logic","subitem_subject_scheme":"Other"},{"subitem_subject":"filtration method","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Finite model property for an intuitionistic model logic","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Finite model property for an intuitionistic model logic"},{"subitem_title":"Finite model property for an intuitionistic model logic","subitem_title_language":"en"}]},"item_type_id":"5","owner":"1","path":["454","489"],"pubdate":{"attribute_name":"公開日","attribute_value":"2008-04-08"},"publish_date":"2008-04-08","publish_status":"0","recid":"2181","relation_version_is_last":true,"title":["Finite model property for an intuitionistic model logic"],"weko_creator_id":"1","weko_shared_id":null},"updated":"2022-12-15T03:35:00.238225+00:00"}