JAIST Repository: 動的認識論理のラベル付きシークエント計算の研究

トップページ| 北陸先端科学技術大学院大学| 附属図書館

一覧

登録利用者:

登録者ページ
利用者(E-people)

このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/10119/13517

完全登録情報レコード

ダブリン･コア･フィールド	値	言語
contributor.author	野村, 尚新	-
date.accessioned	2016-06-13T01:31:29Z	-
date.available	2016-06-13T01:31:29Z	-
date.issued	2016-03	-
identifier.uri	http://hdl.handle.net/10119/13517	-
description	Supervisor:東条　敏	en
description	情報科学研究科	en
description	博士	en
format.extent	20395 bytes	-
format.extent	717417 bytes	-
format.extent	412733 bytes	-
format.mimetype	application/pdf	-
format.mimetype	application/pdf	-
format.mimetype	application/pdf	-
language.iso	en_US	en
subject	Dynamic Epistemic Logic	en
subject	Public Announcement Logic	en
subject	Intuitionistic Public Announcement Logic	en
subject	Logic of Epistemic Actions and Knowledge	en
subject	Labelled Sequent Calculus	en
subject	Admissibility of Cut	en
subject	Validity of Sequents	en
title	動的認識論理のラベル付きシークエント計算の研究	en
type.nii	Thesis or Dissertation	en
rights.textversion	ETD	en
language.iso639-2	eng	en
contributor.alternative	のむら, しょうしん	-
description.thesistitle	Labelled Sequent Calculi for Dynamic Epistemic Logics	en
description.thesisauthor	Nomura, Shoshin	-
identifier.displaygrantid	甲第906号	en
date.granted	2016-03-24	en
description.degreename	博士（情報科学）	en
description.grantor	北陸先端科学技術大学院大学	en
出現コレクション:	D-IS. 2015年度(H27) (Jun.2015 - Mar.2016)

このアイテムのファイル:

当システムに保管されているアイテムはすべて著作権により保護されています。

お問合せ先 : 北陸先端科学技術大学院大学　研究推進課図書館情報係 (ir-sys[at]ml.jaist.ac.jp)