A Proof-Theoretic Study of Term-Sequence-Dyadic Deontic Logic and Common Sense Modal Predicate Logic

The cover of this title could differ from library to library.

Available in National Diet Library

Find on the publisher's website

国立国会図書館デジタルコレクション

Digital data available

Check on the publisher's website

DOI[10.14943/doctoral.k14720]to the data of the same series

A Proof-Theoretic Study of Term-Sequence-Dyadic Deontic Logic and Common Sense Modal Predicate Logic

Persistent ID (NDL): info:ndljp/pid/12263794

Material type: 博士論文

Author: 澤崎, 高広

Publisher: Hokkaido University

Publication date: 2021-09-24

Material Format: Digital

Capacity, size, etc.: -

Name of awarding university/degree: 北海道大学,博士(文学)

View All

Notes on use at the National Diet Library

本資料は、掲載誌(URI)等のリンク先にある学位授与機関のWebサイトやCiNii Dissertationsから、本文を自由に閲覧できる場合があります。

Notes on use

Note (General)：: (主査) 准教授佐野勝彦, 教授藏田伸雄, 教授佐藤知己, 名誉教授山田友幸（北海道大学）文学研究科（思想文化学専攻）

Search by Bookstore

Read this material in an accessible format.

View materials in accessible formats for people with print disabilities (1Type)

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

Hokkaido University Collection of Scholarly and Academic Papers
Digital
You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).
Hokkaido University Collection of Scholarly and Academic Papers

Search by Bookstore

Read in Disability Resources

Other Services
- テキストデータ check it on 国立国会図書館デジタルコレクション

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 博士論文
Title: A Proof-Theoretic Study of Term-Sequence-Dyadic Deontic Logic and Common Sense Modal Predicate Logic
Author/Editor: 澤崎, 高広
Author Heading: 澤崎, 高広
Publication, Distribution, etc.: Hokkaido University
Publication Date: 2021-09-24
Publication Date (W3CDTF): 2021-09-24
Alternative Title: 項列二項義務論理と常識的様相述語論理の証明論的研究
Contributor: 佐野, 勝彦
藏田, 伸雄
佐藤, 知己
山田, 友幸
Degree grantor/type: 北海道大学
Date Granted: 2021-09-24
Date Granted (W3CDTF): 2021-09-24
Dissertation Number: 甲第14720号
Degree Type: 博士(文学)
Conferring No. (Dissertation): 甲第14720号
Text Language Code: eng
NDC: 900
Target Audience: 一般
Note (General): (主査) 准教授佐野勝彦, 教授藏田伸雄, 教授佐藤知己, 名誉教授山田友幸（北海道大学）
文学研究科（思想文化学専攻）
DOI: 10.14943/doctoral.k14720
https://doi.org/10.14943/doctoral.k14720
Persistent ID (NDL): info:ndljp/pid/12263794
https://dl.ndl.go.jp/pid/12263794
Collection: 障害者向け資料
Collection (Materials For Handicapped People:1): テキストデータ
Collection (particular): 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文
https://dl.ndl.go.jp/collections/A00014
Acquisition Basis: 博士論文（自動収集）
Date Accepted (W3CDTF): 2022-05-09T11:57:37+09:00
Format (IMT): PDF
Access Restrictions: 国立国会図書館内限定公開
Service for the Digitized Contents Transmission Service: 図書館・個人送信対象外
Availability of remote photoduplication service: 可
Periodical Title (URI): http://dx.doi.org/10.14943/doctoral.k14720
http://hdl.handle.net/2115/84653
Is Referenced By (URI): http://hdl.handle.net/2115/82996
Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp