yr 〜
yr

Search results 13

コンピュータサイエンスにおける様相論理

コンピュータサイエンスにおける様相論理
Paper図書
鹿島亮 著森北出版2022.1<M121-M456>
National Diet LibraryOther Libraries in Japan
  • Subject Heading情報科学 様相 (論理学)

数学における証明と真理 : 様相論理と数学基礎論

数学における証明と真理 : 様相論理と数学基礎論
Paper図書
菊池誠 編, 佐野勝彦, 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠 著共立出版2016.3<MA21-L319>
National Diet LibraryOther Libraries in Japan
  • Subject Heading証明 (数学) 様相 (論理学)

確率と曖昧性の哲学

確率と曖昧性の哲学
Paper図書
一ノ瀬正樹 著岩波書店2011.3<H35-J31>
National Diet LibraryOther Libraries in Japan
  • Subject Heading様相 (論理学)

偶然を生きる思想 : 「日本の情」と「西洋の理」 (NHKブックス ; 1118)

偶然を生きる思想 : 「日本の情」と「西洋の理」 (NHKブックス ; 1118)
Paper図書障害者向け資料あり
野内良三 著日本放送出版協会2008.8<HA1-J4>
National Diet LibraryOther Libraries in Japan
  • Subject Heading比較哲学 様相 (論理学)

Interpretationen der Modallogik : ein Beitrag zur phänomenologischen Wissenschaftstheorie / Olav K. Wiegand. (Phaenomenologica)

Interpretationen der Modallogik : ein Beitrag zur phänomenologischen Wissenschaftstheorie / Olav K. Wiegand. (Phaenomenologica)
Paper図書
Kluwer Academic Publishersc1998.<H35-A37>
National Diet Library
  • Subject Heading様相 (論理学) 記号論理学. 科学論. 現象学. Modality (Lo...

異文化間コミユニケーシヨン・シラバス設計 -異文化教育と言語教育の融合を目指してー

異文化間コミユニケーシヨン・シラバス設計 -異文化教育と言語教育の融合を目指してー
Paper図書
小林, 邦彦, 茨城工業高等専門学校1999-2000<Y151-H11610301>
National Diet Library

Viewing conditional logics of normality as extensions of the modal system S4 / Craig Boutilier. (Technical reports on knowledge representation and reasoning ; KRR-TR-90-4)

Viewing conditional logics of normality as extensions of the modal system S4 / Craig Boutilier. (Technical reports on knowledge representation and reasoning ; KRR-TR-90-4)
Paper図書
University of Toronto1990.<H35-A31>
National Diet Library
  • Subject Heading論理学. 様相 (論理学)

帰納的確率と様相の論理 (双書現代の論理)

帰納的確率と様相の論理 (双書現代の論理)
PaperDigital図書障害者向け資料あり
永井成男, 大窪徳行 著早稲田大学出版部1986.4<H35-123>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Subject Heading論理学 様相 (論理学)

Proof methods for modal and intuitionistic logics / Melvin Fitting. (Synthese library ; v. 169)

Proof methods for modal and intuitionistic logics / Melvin Fitting. (Synthese library ; v. 169)
Paper図書
D. Reidelc1983.<MA41-A44>
National Diet LibraryOther Libraries in Japan
  • Subject Heading記号論理学. 数学基礎論. 直覚. 様相 (論理学) Proof theory. Modality (Logic...

名指しと必然性 : 様相の形而上学と心身問題

名指しと必然性 : 様相の形而上学と心身問題
PaperDigital図書障害者向け資料あり
ソール・A.クリプキ 著, 八木沢敬, 野家啓一 訳産業図書1985.4<H35-118>
National Diet LibraryOther Libraries in Japan
  • Subject Heading様相 (論理学)

Communication and meaning : an essay in applied modal logic / Andrew J.I. Jones. (Synthese library ; v. 168)

Communication and meaning : an essay in applied modal logic / Andrew J.I. Jones. (Synthese library ; v. 168)
Paper図書
D. Reidelc1983.<KE23-A6>
National Diet Library
  • Subject Headingコミュニケーション. 様相 (論理学) 意味論. Communication -- Philoso...

様相論理入門

様相論理入門
PaperDigital図書障害者向け資料あり
G.E.ヒューズ, M.J.クレスウェル 著, 三浦聡 [ほか]訳恒星社厚生閣1981.12<H35-101>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Subject Heading様相 (論理学)

様相論理入門 訂正版

様相論理入門 訂正版
Paper図書
G.E.ヒューズ, M.J.クレスウェル著 ; 三浦聡 [ほか] 訳恒星社厚生閣1989.3
Other Libraries in Japan

Reached to the end of result.