• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

SUZUKI Nobuyuki  鈴木 信行

ORCIDConnect your ORCID iD *help
Researcher Number 60216421
Other IDs
External Links
Affiliation (Current) 2020: 静岡大学, 理学部, 教授
Affiliation (based on the past Project Information) *help 2015 – 2020: 静岡大学, 理学部, 教授
2013 – 2014: 静岡大学, 理学(系)研究科(研究院), 教授
2004 – 2013: 静岡大学, 理学部, 教授
1997 – 2003: 静岡大学, 理学部, 助教授
1994 – 1996: 茨城大学, 工学部, 講師
Review Section/Research Field
Principal Investigator
General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics) / Foundations of mathematics/Applied mathematics / Basic Section 12030:Basic mathematics-related
Except Principal Investigator
General mathematics (including Probability theory/Statistical mathematics) / Economic theory / Science education / 経済理論
Keywords
Principal Investigator
非古典論理 / Kripke意味論 / 述語論理 / 様相論理 / Kripke semantics / クリプキ意味論 / ゲーム理論 / 認識論理 / 数学基礎論 / 代数的意味論 … More / 限定合理性 / disjunction property / existence property / non-classical logic / intermodiate logics / predicate logic / 強独立系列 / ゲーム理論的意思決定過程 / 超直感主義論理 / 距離の論理 / ゲーム理論への応用 / Non-Classical Logics / Kripke Semantics / Epistemic Logics / Game Theory / Bounded Rationality / 実数の集合論 / 多様相論理 / クリクキ意味論 / non-classical logics / modal logic / epistemic logic / algebraic semantics / theory of games / set theory of reals / 構成性 / omniscience principles / 構成的推論 / 中間述語論理 … More
Except Principal Investigator
帰納的ゲーム理論 / 経験 / 記憶 / 他人の思考 / 協力の発生 / 限定合理性 / 認識論理 / ゲーム理論 / 非標準論理 / 部分構造論理 / クリプキ意味論 / 意思決定 / ナッシュ均衡 / 帰納的推論 / 被験者実験 / epistemic logic / game theory / 知識の論理 / 項書換え系 / 信念・知識 / 社会観 / 社会的役割 / 協力行 / 経験の蓄積 / 長期記憶 / 短期記憶 / かたちの数理科学 / 大学院教育 / 野生的空間 / トポロジー / かたちの数理科目 / 社会制度 / 期待効用理論 / 社会正義 / 認識論理学 / 行動実験 / グラフ理論 / 数理論理学 / 遺伝的アルゴリズム / グラフの因子 / グラフの埋め込み / クリプキ・タイプ意味論 / クリプキ層 / クリプキ・タイプの意味論 / 連結因子 / ライフゲーム / 非古典論理 / Kripke意味論 / 述語論理 / graph theory / mathematical logic / genetic algorithm / factors of graphs / embedding of graphs / Kripke-type semantics / Kripke-sheaf / 様相論理 / カット除去定理 / ラムダ計算 / クリプキ完全性 / 自然演繹体系 / クリプキ・フレーム / nonstandard logic / substructural logic / modal logic / Kripke semantics / cut elimination theorem / lambda calculi / 有限認識構造 / 証明論 / 意味論 / 誤識論理 / 個人間認識 / 個人の論理的能力 / 社会と個人 / 個人と時間 / decision making / bounded epistemic structure / Nash equilibrium / proof theory / semantics Less
  • Research Projects

    (18 results)
  • Research Products

    (148 results)
  • Co-Researchers

    (27 People)
  •  構成性を制御しながら直観主義論理を拡大するPrincipal InvestigatorOngoing

    • Principal Investigator
      鈴木 信行
    • Project Period (FY)
      2020 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 12030:Basic mathematics-related
    • Research Institution
      Shizuoka University
  •  構成性を中間述語論理の観点から理解するPrincipal InvestigatorOngoing

    • Principal Investigator
      鈴木 信行
    • Project Period (FY)
      2016 – 2020
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Foundations of mathematics/Applied mathematics
    • Research Institution
      Shizuoka University
  •  Developments of Economics of Institutional, Cognitive, and Social Justices

    • Principal Investigator
      KANEKO Mamoru
    • Project Period (FY)
      2014 – 2018
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Economic theory
    • Research Institution
      Waseda University
  •  Reconstruction of algebraic semantics for non-classical predicate logicsPrincipal Investigator

    • Principal Investigator
      Suzuki Nobu-Yuki
    • Project Period (FY)
      2012 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Shizuoka University
  •  game theory

    • Principal Investigator
      KANEKO Mamoru
    • Project Period (FY)
      2009 – 2013
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Economic theory
    • Research Institution
      Waseda University
      University of Tsukuba
  •  Integrated study of multi-modal logics and game theoryPrincipal Investigator

    • Principal Investigator
      SUZUKI Nobu-yuki
    • Project Period (FY)
      2007 – 2009
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Shizuoka University
  •  新領域科目「かたちの数理科学」と博士課程後期における数理科学教育

    • Principal Investigator
      小山 晃
    • Project Period (FY)
      2007 – 2008
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      Science education
    • Research Institution
      Shizuoka University
  •  Inductive Game Theory and Limited Rationalities : Individual Derivations of Social Views and Behavioral Decision

    • Principal Investigator
      KANEKO Mamoru
    • Project Period (FY)
      2006 – 2008
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Economic theory
    • Research Institution
      University of Tsukuba
  •  Study of multi-modal logics and its application to game theoryPrincipal Investigator

    • Principal Investigator
      SUZUKI Nobu-yuki
    • Project Period (FY)
      2004 – 2006
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Shizuoka University
  •  Individual Perspectives of Society and Socio-economic Norms

    • Principal Investigator
      KANEKO Mamoru
    • Project Period (FY)
      2001 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      経済理論
    • Research Institution
      University of Tsukuba
  •  Extended Kripke Semantics and its Application to Epistemic Logics and Game TheoryPrincipal Investigator

    • Principal Investigator
      SUZUKI Nobu-yuki
    • Project Period (FY)
      2001 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Shizuoka University
  •  Advances in Nonstandard Logic

    • Principal Investigator
      ONO Hiroakira
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (B).
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  拡張Kripke意味論と述語論理の強独立系列Principal Investigator

    • Principal Investigator
      鈴木 信行
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Shizuoka University
  •  非標準論理とその情報科学への応用

    • Principal Investigator
      ONO Hiroakira
    • Project Period (FY)
      1997
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  真理値関手を持つKripke意味論Principal Investigator

    • Principal Investigator
      鈴木 信行
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Ibaraki University
  •  Kripke Type意味論における強妥当性Principal Investigator

    • Principal Investigator
      鈴木 信行
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Ibaraki University
  •  INFORMATION MATHEMATICS

    • Principal Investigator
      KANO Mikio
    • Project Period (FY)
      1995 – 1996
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      IBARAKI UNIVERSITY
  •  Kripke Sheaf意味論と述語論理Principal Investigator

    • Principal Investigator
      鈴木 信行
    • Project Period (FY)
      1994
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Ibaraki University

All 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 Other

All Journal Article Presentation Book

  • [Book] 第6章「ゲーム論理入門」、『制度と認識の経済学』(船木由喜彦・石川竜一郎編著)2013

    • Author(s)
      鈴木信行(分担執筆)
    • Publisher
      NTT出版
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Book] 制度と認識の経済学2013

    • Author(s)
      船木由喜彦, 石川竜一郎, 須賀晃一, 河田陽向, 坂井豊貴, 廣川みどり, 武藤滋夫, 鈴木信行, J.J.クライン
    • Total Pages
      332
    • Publisher
      NTT出版
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Journal Article] Small infinitary epistemic logics2019

    • Author(s)
      HU TAI-WEI、KANEKO MAMORU、SUZUKI NOBU-YUKI
    • Journal Title

      Review of Symbolic Logic

      Volume: - Pages: 1-34

    • DOI

      10.1017/s1755020319000029

    • NAID

      120006594582

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K05252, KAKENHI-PROJECT-26245026, KAKENHI-PROJECT-17H02258
  • [Journal Article] Small infinitary epistemic logics2019

    • Author(s)
      Suzuki Nobu-Yuki
    • Journal Title

      Review of Symbolic Logic

      Volume: 46 Pages: 93-109

    • DOI

      10.18778/0138-0680.46.1.2.08

    • NAID

      120006594582

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K05252, KAKENHI-PROJECT-26245026
  • [Journal Article] Some weak variants of the existence and disjunction properties in intermediate predicate logics2017

    • Author(s)
      Nobu-Yuki Suzuki
    • Journal Title

      Bulletin of the Section of Logic

      Volume: 印刷中

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Journal Article] A Negative Solution to Ono's Problem P52: Existence and Disjunction Properties in Intermediate Predicate Logics2017

    • Author(s)
      Nobu-Yuki Suzuki
    • Journal Title

      Hiroakira Ono on Residuated Lattices and Substructural Logics (tentative)

      Volume: 印刷中

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Journal Article] Some weak variants of the existence and disjunction properties in intermediate predicate logics2017

    • Author(s)
      Nobu-Yuki Suzuki
    • Journal Title

      Bulletin of the Section of Logic

      Volume: 印刷中

    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-16K05252
  • [Journal Article] Small Infinitary Epistemic Logics2017

    • Author(s)
      Tai-Wei Hu, Mamoru Kaneko, and Nobu-Yuki Suzuki
    • Journal Title

      WINPEC Working Paper Series

      Volume: No. E1705

    • NAID

      120006594582

    • Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Journal Article] Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2013

    • Author(s)
      N. Suzuki
    • Journal Title

      Economic Theory

      Volume: Vol.53 Pages: 85-110

    • DOI

      10.1007/s00199-012-0707-1

    • NAID

      120004442649

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21243016, KAKENHI-PROJECT-24540120
  • [Journal Article] Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game2012

    • Author(s)
      Nobu-Yuki Suzuki
    • Journal Title

      Economic Theory

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Journal Article] The Occurrence of π Molecular Orbitals in Planar Boron Clusters2012

    • Author(s)
      Y. Nakagami, N.-Y. Suzuki, R. Sekine, T. Matsuura and J. Aihara
    • Journal Title

      Bulletin of the Chemical Society of Japan

      Volume: 85 Issue: 4 Pages: 475-480

    • DOI

      10.1246/bcsj.20110203

    • NAID

      10030543816

    • ISSN
      0009-2673, 1348-0634
    • Language
      English
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Journal Article] A Measure of logical inference and its game theoretical applications2011

    • Author(s)
      M. Kaneko, and N. Suzuki
    • Journal Title

      Logic, Rationality, and Interaction

      Volume: Vol.6953 Pages: 139-150

    • DOI

      10.1007/978-3-642-24130-7_10

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Journal Article] Neural Basis of Conditional Cooperation2011

    • Author(s)
      Shinsuke Suzuki
    • Journal Title

      Social Cognitive and Affective Neurosci

      Volume: 6 Pages: 338-347

    • DOI

      10.1093/scan/nsq042

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-11J02648, KAKENHI-PROJECT-20240026, KAKENHI-PROJECT-21243016
  • [Journal Article] Kripke-Type Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2009

    • Author(s)
      Nobu-Yuki Suzuki
    • Journal Title

      Proceedings of he Sixth International Workshop of Logic and Engineering of Natural Language Semantics 1

      Pages: 201-210

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Journal Article] Kripke-Type Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2009

    • Author(s)
      Nobu-Yuki Suzuki
    • Journal Title

      Proceedings of he Sixth International Workshop of Logic and Engineering of Natural Language Semantics 1

      Pages: 201-210

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Journal Article] Kripke-Type Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2009

    • Author(s)
      Suzuki, Nobu-Yuki
    • Journal Title

      Proceedings of the Sixth International Workshop of Logic and Engineering of Natural Language Semantics

      Pages: 201-220

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Journal Article] ある直観主義的認識論理とそのKripke型意味論2009

    • Author(s)
      鈴木信行
    • Journal Title

      Proceedings of the 42nd MLG meeting at Fukuoka, Japan 2008 1

      Pages: 43-46

    • Data Source
      KAKENHI-PROJECT-19540123
  • [Journal Article] ある直観主義的認識論理とそのKripke型意味論2008

    • Author(s)
      鈴木信行
    • Journal Title

      Proceedings of the 42nd MLG meeting at Fukuoka, Japan 2008

      Pages: 43-46

    • Data Source
      KAKENHI-PROJECT-19540123
  • [Journal Article] Evolutionary Stability of First-order-information Indirect Reciprocity in Sizable Groups2008

    • Author(s)
      S. Suzuki, and E. Akiyama
    • Journal Title

      Theoretical Population Biology 73

      Pages: 426-436

    • NAID

      120000835724

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18330034
  • [Journal Article] Chaos, Oscillation and the Evolution of Indirect Reciprocity in n-person games2008

    • Author(s)
      S. Suzukim, and E. Akiyama
    • Journal Title

      Journal of Theoretical Biology 252

      Pages: 686-693

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18330034
  • [Journal Article] Contentwise Complexity: An Evaluation of Arrow's Impossibility Theorem2008

    • Author(s)
      Suzuki, Nobu-Yuki, M. Kaneko
    • Journal Title

      Proceedings of the 42nd MLG meeting at Fukuoka, Japan 2008

      Pages: 41-42

    • Data Source
      KAKENHI-PROJECT-19540123
  • [Journal Article] Evolution of Compassion under un-repeated Interaction2007

    • Author(s)
      S. Suzuki, and E. Akiyama
    • Journal Title

      In Advancing Social Simulation (eds. S. Takahashi, D. Sallach, J. Rouchier)

      Pages: 273-282

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18330034
  • [Journal Article] Three-person Game Facilitates Indirect Reciprocity under Image Scoring2007

    • Author(s)
      S. Suzuki, and E. Akiyama
    • Journal Title

      J. of Theoretical Biology 249

      Pages: 93-100

    • NAID

      120000835209

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18330034
  • [Journal Article] Evolution of Indirect Reciprocity in Groups of Various Sizes and Comparison with Direct Reciprocity2007

    • Author(s)
      S. Suzuki. and E. Akiyama
    • Journal Title

      J. Theoretical Biology 245

      Pages: 539-552

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18330034
  • [Journal Article] Contentwise Complexity of Inferences based on Epistemic Logics of Shallow Depths in Game Theoretical Situations2006

    • Author(s)
      M.Kaneko, N.-Y.Suzuki
    • Journal Title

      Proceedings of the 39th MLG meeting at Gamagori, Japan 2005

      Pages: 24-27

    • Data Source
      KAKENHI-PROJECT-16340022
  • [Journal Article] Contentwise Complexity of Inferences based on Epistemic Logics of Shallow Depths in Game Theoretical Situations2005

    • Author(s)
      M.Kaneko, N.-Y.Suzuki
    • Journal Title

      Proceedings of the 39th MLG meeting at Gamagori, Japan

      Pages: 24-27

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16340022
  • [Journal Article] Contentwise Complexity of Inferences based on Epistemic Logics of Shallow Depths in Game Theoretical Situations2005

    • Author(s)
      M.Kaneko, N.-Y.Suzuki
    • Journal Title

      Proceedings of the 39th MLG meeting at Gamagori, Japan 2005,

      Pages: 24-27

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16340022
  • [Journal Article] Contentwise complexity of inferences in epistemic logic2004

    • Author(s)
      Mamoru Kaneko, Nobu-Yuki Suzuki
    • Journal Title

      Proceedings of the 38th MLG meeting

      Pages: 47-49

    • Data Source
      KAKENHI-PROJECT-16340022
  • [Presentation] Existence and disjunction properties in intermediate predicate logics2020

    • Author(s)
      N.-Y. Suzuki
    • Organizer
      Colloquium at Departments of Philosophy I and II of Ruhr University Bochum
    • Invited
    • Data Source
      KAKENHI-PROJECT-16K05252
  • [Presentation] 選言特性を持ち存在特性を持たない中間述語論理についてのもうひとつの注意2019

    • Author(s)
      鈴木 信行
    • Organizer
      日本数学会 2018年度年会(数学基礎論分科会)
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] Kripke 枠不完全かつ代数的不完全な中間述語論理をたくさん作っていた2019

    • Author(s)
      鈴木信行
    • Organizer
      日本数学会 2019年度秋季総合分科会(数学基礎論分科会)
    • Data Source
      KAKENHI-PROJECT-16K05252
  • [Presentation] 中間述語論理における選言特性と存在特性および2019

    • Author(s)
      鈴木信行
    • Organizer
      京都大学数理解析研究所 研究集会「証明論その周辺」
    • Data Source
      KAKENHI-PROJECT-16K05252
  • [Presentation] Shehtmanの問いから始まる話2019

    • Author(s)
      鈴木信行
    • Organizer
      第54回MLG数理論理学研究集会
    • Data Source
      KAKENHI-PROJECT-16K05252
  • [Presentation] 中間述語論理における選言特性とその弱い変種についての注意2018

    • Author(s)
      鈴木 信行
    • Organizer
      日本数学会 2018年度秋季総合分科会(数学基礎論分科会)
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] 存在特性を持ち選言特性を持たない中間述語論理をたくさん作る2018

    • Author(s)
      鈴木 信行
    • Organizer
      日本数学会 2018年度年会(数学基礎論分科会)
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] 中間述語論理における選言特性と2つの弱い変種について2018

    • Author(s)
      鈴木信行
    • Organizer
      第53回MLG数理論理学研究集会
    • Data Source
      KAKENHI-PROJECT-16K05252
  • [Presentation] 中間述語論理における選言特性とその弱い変種についての注意2018

    • Author(s)
      鈴木信行
    • Organizer
      日本数学会 2018年度秋季総合分科会(数学基礎論分科会)
    • Data Source
      KAKENHI-PROJECT-16K05252
  • [Presentation] 中間述語論理における選言特性と2つの弱い変種について2018

    • Author(s)
      鈴木 信行
    • Organizer
      第53回MLG数理論理学研究集会
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] A remark on predicate extensions of intuitionistic logic2018

    • Author(s)
      N.-Y. Suzuki
    • Organizer
      Second Workshop on Mathematical Logic and its Applications, Kanazawa, Japan
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] 存在特性を持ち選言特性を持たない中間述語論理について2018

    • Author(s)
      鈴木 信行
    • Organizer
      第5回 山陰 基礎論・解析学 研究集会, 皆生の宿 ゆるり, 鳥取県米子市
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] 存在特性を持ち選言特性を持たない中間述語論理をたくさん作る2018

    • Author(s)
      鈴木信行
    • Organizer
      日本数学会 2018年度年会(数学基礎論分科会)
    • Data Source
      KAKENHI-PROJECT-16K05252
  • [Presentation] A remark on predicate extensions of intuitionistic logic2018

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Second Workshop on Mathematical Logic and its Applications
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K05252
  • [Presentation] 存在特性を持ち選言特性を持たない中間述語論理について2018

    • Author(s)
      鈴木信行
    • Organizer
      第5回 山陰 基礎論・解析学 研究集会
    • Data Source
      KAKENHI-PROJECT-16K05252
  • [Presentation] 選言特性を持ち存在特性を持たない中間述語論理についてのもうひとつの注意2018

    • Author(s)
      鈴木信行
    • Organizer
      日本数学会 2018年度年会(数学基礎論分科会)
    • Data Source
      KAKENHI-PROJECT-16K05252
  • [Presentation] Disjunction propertyを持ちexistence propertyを持たない中間述語論理2017

    • Author(s)
      鈴木信行
    • Organizer
      第52回MLG数理論理学研究集会
    • Data Source
      KAKENHI-PROJECT-16K05252
  • [Presentation] Omniscience principlesに関する中間述語論理からの注意2017

    • Author(s)
      鈴木信行
    • Organizer
      第4回 山陰 基礎論・解析学 研究集会
    • Place of Presentation
      国際ファミリープラザ(鳥取県米子市)
    • Year and Date
      2017-01-08
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] 中間述語論理における公理型としてのomniscience principles2017

    • Author(s)
      鈴木信行
    • Organizer
      日本数学会 2017年度年会(数学基礎論および歴史分科会)
    • Place of Presentation
      首都大学東京 (東京都八王子市)
    • Year and Date
      2017-03-25
    • Data Source
      KAKENHI-PROJECT-16K05252
  • [Presentation] Disjunction propertyを持ちexistence propertyを持たない中間述語論理2017

    • Author(s)
      鈴木 信行
    • Organizer
      第52回MLG数理論理学研究集会, 静岡大学理学部, 静岡県静岡市
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] 中間述語論理における公理型としてのomniscience principles2017

    • Author(s)
      鈴木信行
    • Organizer
      日本数学会 2017年度年会(数学基礎論分科会)
    • Place of Presentation
      首都大学東京 (東京都八王子市)
    • Year and Date
      2017-03-25
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] Omniscience principlesに関する中間述語論理からの注意2017

    • Author(s)
      鈴木信行
    • Organizer
      第4回 山陰 基礎論・解析学 研究集会
    • Place of Presentation
      国際ファミリープラザ(鳥取県米子市)
    • Year and Date
      2017-01-08
    • Data Source
      KAKENHI-PROJECT-16K05252
  • [Presentation] 中間述語論理における公理型としてのomniscience principles2017

    • Author(s)
      鈴木 信行
    • Organizer
      日本数学会 2017年度年会(数学基礎論分科会)
    • Place of Presentation
      首都大学東京(東京都・八王子市)
    • Year and Date
      2017-03-25
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] Omniscience principlesに関する中間述語論理からの注意2017

    • Author(s)
      鈴木 信行
    • Organizer
      第4回 山陰 基礎論・解析学 研究集会
    • Place of Presentation
      国際ファミリープラザ(鳥取県・米子市)
    • Year and Date
      2017-01-18
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] Separation of non-constructive principles and Kripke models2017

    • Author(s)
      藤原誠, 石原哉, 根元多佳子, 鈴木信行, 横山啓太
    • Organizer
      第52回MLG数理論理学研究集会
    • Data Source
      KAKENHI-PROJECT-16K05252
  • [Presentation] Some weak variants of existence and disjunction properties in intermediate predicate logics2016

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      第51回MLG数理論理学研究集会
    • Place of Presentation
      四季の湯強羅静雲荘(神奈川県箱根町)
    • Year and Date
      2016-10-29
    • Data Source
      KAKENHI-PROJECT-16K05252
  • [Presentation] 中間述語論理におけるdisjunction propertyとexistence propertyのいくつかの弱い変種について2016

    • Author(s)
      鈴木信行
    • Organizer
      日本数学会 2016年度秋季総合分科会(数学基礎論分科会)
    • Place of Presentation
      関西大学 (大阪府吹田市)
    • Year and Date
      2016-09-18
    • Data Source
      KAKENHI-PROJECT-16K05252
  • [Presentation] Some weak variants of existence and disjunction properties in intermediate predicate logics2016

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      第51回MLG数理論理学研究集会
    • Place of Presentation
      四季の湯強羅静雲荘(神奈川県・足柄下郡箱根町強羅)
    • Year and Date
      2016-10-29
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] Relations among some weak variants of existence and disjunction properties in intermediate predicate logics2016

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Logic Colloquium 2016
    • Place of Presentation
      Leeds大学 イギリス
    • Year and Date
      2016-08-02
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K05252
  • [Presentation] Relations among some weak variants of existence and disjunction properties in intermediate predicate logics2016

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Logic Colloquium 2016
    • Place of Presentation
      Leeds大学、リーズ(イギリス)
    • Year and Date
      2016-08-02
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] Some weak variants of existence and disjunction properties in intermediate predicate logics2016

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      第51回MLG数理論理学研究集会
    • Place of Presentation
      四季の湯強羅静雲荘(神奈川県箱根町)
    • Year and Date
      2016-10-29
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] Relations among some weak variants of existence and disjunction properties in intermediate predicate logics2016

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Logic Colloquium 2016
    • Place of Presentation
      Leeds大学, UK
    • Year and Date
      2016-08-02
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] 中間述語論理におけるdisjunction propertyとexistence propertyのいくつかののいくつかの弱い変種について2016

    • Author(s)
      鈴木 信行
    • Organizer
      日本数学会 2016年度秋季総合分科会(数学基礎論分科会)
    • Place of Presentation
      関西大学(大阪府・吹田市)
    • Year and Date
      2016-09-18
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] 中間述語論理におけるdisjunction propertyとexistence propertyのいくつかの弱い変種について2016

    • Author(s)
      鈴木信行
    • Organizer
      日本数学会 2016年度秋季総合分科会(数学基礎論分科会)
    • Place of Presentation
      関西大学 (大阪府吹田市)
    • Year and Date
      2016-09-18
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] 中間述語論理の話題2015

    • Author(s)
      鈴木信行
    • Organizer
      鹿児島大学数理情報科学談話会
    • Place of Presentation
      鹿児島大学(鹿児島県 鹿児島市)
    • Year and Date
      2015-11-05
    • Invited
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] Small Infinitary Logic, and Fixed Point Logic (with M.\ Kaneko and T.-W.\ Hu)2015

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Joint conferences on ``Logic, Game Theory, and Social Choice 8'' and ``The 8th Pan-Pacific Conference on Game Theory'' (LGS 8 & 8 PPCGT)
    • Place of Presentation
      Academia Sinica, Taipei, Taiwan
    • Year and Date
      2015-05-19
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] 中間述語論理と構成的数学の接点2015

    • Author(s)
      鈴木信行
    • Organizer
      認識論理・様相論理研究会
    • Place of Presentation
      早稲田大学早稲田キャンパス(東京都 新宿区)
    • Year and Date
      2015-12-04
    • Invited
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] Small Infinitary Logic, and Fixed Point Logic2015

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Joint conferences on "Logic, Game Theory, and Social Choice 8" and "The 8th Pan-Pacific Conference on Game Theory"
    • Place of Presentation
      Academia Sinica, Taipei, Taiwan
    • Year and Date
      2015-05-19
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] The existence property and related properties in intermediate predicate logics2015

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      JAIST LOGIC WORKSHOP SERIES 2015:Constructivism and Computability
    • Place of Presentation
      金沢県政記念館 しいのき迎賓館 (旧県庁)
    • Year and Date
      2015-03-05
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] 直観主義述語論理に付加してdisjunction propertyとexistence propertyを保存2015

    • Author(s)
      鈴木信行
    • Organizer
      日本数学会 2015年度秋季総合分科会(数学基礎論分科会)
    • Place of Presentation
      京都産業大学, 京都府, 京都市
    • Year and Date
      2015-09-13
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] 直観主義述語論理に付加してdisjunction propertyとexistence propertyを保存する公理型について2015

    • Author(s)
      鈴木信行
    • Organizer
      日本数学会 2015年度秋季総合分科会(数学基礎論分科会)
    • Place of Presentation
      京都産業大学(京都府 京都市)
    • Year and Date
      2015-09-16
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] 中間述語論理におけるExistence Propertyに関する話題2015

    • Author(s)
      鈴木信行
    • Organizer
      数理論理学セミナー
    • Place of Presentation
      東京工業大学 大岡山キャンパス (東京都)
    • Year and Date
      2015-01-23
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] Small Infinitary Logic, and Fixed Point Logic2015

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      East Asian Game Theory Conference 2015 Tokyo
    • Place of Presentation
      早稲田大学, 東京都
    • Year and Date
      2015-08-24
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] Axiom schema of Markov's principle preserves disjunction and existence properties2015

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Computability Theory and Foundations of Mathematics (CTFM) 2015
    • Place of Presentation
      東京工業大学大岡山キャンパス(東京都 目黒区)
    • Year and Date
      2015-09-07
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] The existence property and related properties in intermediate predicate logics2015

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      JAIST LOGIC WORKSHOP SERIES 2015: Constructivism and Computability
    • Place of Presentation
      金沢県政記念館 しいのき迎賓館 (石川県金沢市)
    • Year and Date
      2015-03-05
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] Axiom schema of Markov's principle preserves disjunction and existence2015

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Computability Theory and Foundations of Mathematics (CTFM) 2015
    • Place of Presentation
      東京工業大学, 東京都
    • Year and Date
      2015-09-07
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] Small Infinitary Logic, and Fixed Point Logic (with M.\ Kaneko and T.-W.\ Hu)2015

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      East Asian Game Theory Conference 2015 (EAGT2015)
    • Place of Presentation
      早稲田大学早稲田キャンパス(東京都 新宿区)
    • Year and Date
      2015-08-26
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] 中間述語論理におけるexistence property のいくつかの弱い変種について2015

    • Author(s)
      鈴木信行
    • Organizer
      日本数学会 2015年度年会(数学基礎論分科会)
    • Place of Presentation
      明治大学駿河台キャンパス(東京都)
    • Year and Date
      2015-03-21
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] Some properties related to existence property in intermediate predicate logics2014

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Logic Colloquium 2014
    • Place of Presentation
      Vienna, Austria
    • Year and Date
      2014-07-14
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] Decision criteria and their feasibility in games with constructive reasoning2014

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      14th SAET Conference on Current Trends in Economics 2014
    • Place of Presentation
      早稲田大学
    • Year and Date
      2014-08-20
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] Some properties related to existence property in intermediate predicate logics2014

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Logic Colloquium 2014
    • Place of Presentation
      Vienna, Austria
    • Year and Date
      2014-07-14
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] 中間述語論理におけるexistence property とdisjunction property の独立性2014

    • Author(s)
      鈴木信行
    • Organizer
      日本数学会 2014年度秋季総合分科会(数学基礎論分科会)
    • Place of Presentation
      広島大学 (広島県東広島市)
    • Year and Date
      2014-09-28
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] Decision criteria and their feasibility in games with constructive reasoning2014

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      14th SAET Conference on Current Trends in Economics 2014
    • Place of Presentation
      早稲田大学 (東京都)
    • Year and Date
      2014-08-20
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] Remarks on the existence property in intermediate predicate logics2014

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      数理解析研究所 研究集会「証明論・計算論とその周辺」
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2014-12-26
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] Two weak versions of existence property in intermediate predicate logics2014

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      2014年度第49回MLG数理論理学研究集会
    • Place of Presentation
      山中温泉 石川県
    • Year and Date
      2014-12-05
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] 中間述語論理における existence property とdisjunction property の独立性2014

    • Author(s)
      鈴木 信行
    • Organizer
      日本数学会 2014年度秋季総合分科会(数学基礎論分科会)
    • Place of Presentation
      広島大学
    • Year and Date
      2014-09-28
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] Remarks on the existence property in intermediate predicate logics2014

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      数理解析研究所研究集会「証明論・計算論とその周辺」
    • Place of Presentation
      京都大学数理解析研究所 (京都府京都市)
    • Year and Date
      2014-12-26
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] Two weak versions of existence property in intermediate predicate logics2014

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      数理論理学研究集会
    • Place of Presentation
      山中温泉河鹿荘ロイヤルホテル (石川県加賀市)
    • Year and Date
      2014-12-05
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] Some Considerations of Prediction/Decision Criteria in Epistemic Predicate Logics2013

    • Author(s)
      N. Suzuki
    • Organizer
      13th SAET Conference on Current Trends in Economics 2013
    • Place of Presentation
      Paris, France
    • Year and Date
      2013-07-22
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] ゲーム論に由来する直観主義的認識述語論理とその意味論(その2)2012

    • Author(s)
      鈴木 信行
    • Organizer
      日本数学会 2012年度年会
    • Place of Presentation
      東京理科大学
    • Year and Date
      2012-03-27
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] ゲーム論に由来する直観主義的認識述語論理とその意味論(その2)2012

    • Author(s)
      鈴木信行
    • Organizer
      日本数学会2012年度年会
    • Place of Presentation
      東京理科大学神楽坂キャンパス(東京都)
    • Year and Date
      2012-03-27
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] First-Order Intuitionistic Epistemic Logics Arising from Game Theory2012

    • Author(s)
      N. Suzuki
    • Organizer
      Advances in Modal Logic 2012
    • Place of Presentation
      Copenhagen, Denmark
    • Year and Date
      2012-08-22
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] ゲーム理論に由来する直観主義的多様相述語論理およびそのKripke型意味論2011

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      数理論理学研究集会
    • Place of Presentation
      KKR湯沢ゆきぐに (新潟県)
    • Year and Date
      2011-01-08
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] ある直観主義的認識述語論理とその意味論2011

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      日本数学会2011年度年会(数学基礎論分科会)
    • Place of Presentation
      早稲田大学(東京都)(震災「みなし」成立)
    • Year and Date
      2011-03-21
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] Predicate Intuitionistic Epistemic Logics Arising from Game Theory2011

    • Author(s)
      N. Suzuki
    • Organizer
      Second International Conference on Order, Algebra, and Logics
    • Place of Presentation
      Krakow, Poland
    • Year and Date
      2011-06-06
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] Remarks on Existence Property in Super-Intuitionistic Predicate Logics2011

    • Author(s)
      鈴木信行
    • Organizer
      数理論理学研究集会
    • Place of Presentation
      KKR湯沢ゆきぐに(新潟県南魚沼郡湯沢町)
    • Year and Date
      2011-10-25
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] Predicate Intuitionistic Epistemic Logics Arising from Game Theory2011

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Second International Conference on Order, Algebra, and Logics
    • Place of Presentation
      Jagiellonian University, Krakow, Poland
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] Quantified Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2011

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Logic, Game theory and Social Choice 7
    • Place of Presentation
      National School of Political and Administrative Studies, Bcharest, Romania
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] First-Order Intuitionistic Epistemic Logics of Shallow Depths Arising from Game Theory2011

    • Author(s)
      鈴木信行
    • Organizer
      ACAN : Algebraic and Coalgebraic Approaches to Non-Classical Logics
    • Place of Presentation
      京都大学数理解析研究所(京都市)
    • Year and Date
      2011-05-18
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] Semantics for intuitionistic epistemic logics of shanow depths for gametheory2010

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      The 2010 Workshop on Inductive Game Theory and its Related Topicsi, (Tutorial)
    • Place of Presentation
      Tsukuba University (茨城県)
    • Year and Date
      2010-11-27
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] Semantics for intuitionistic epistemic logics of shallow depths for game theory2009

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Logic, Game theory, and Social Choise 6
    • Place of Presentation
      筑波大学(茨城県)
    • Year and Date
      2009-08-27
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] Kripke-Type Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2009

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Logic and Engineering of Natural Language Semantics 6 (LENLS VI)
    • Place of Presentation
      キャンパスイノベーションセンター (東京都)
    • Year and Date
      2009-11-20
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] Semantics for intuitionistic epistemic logics of shallow depths for game theory2009

    • Author(s)
      N. Suzuki
    • Organizer
      SAET Conference on Current Trends in Economics 2009
    • Place of Presentation
      Ischia (イタリア)
    • Year and Date
      2009-07-14
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] Semantics for intuitionistic epistemic logics of shallow depths for game theory2009

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      SAET Conference on Current Trends in Economics 2009
    • Place of Presentation
      Ischia (イタリア)
    • Year and Date
      2009-07-04
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] Semantics for intuitionistic epistemic logics of shallow depths for game theory, Logic2009

    • Author(s)
      N. -Y. Suzuki
    • Organizer
      Game theory, and Social Choise 6
    • Place of Presentation
      Tsukuba, Japan
    • Year and Date
      2009-08-27
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] Semantics for intuitionistic epistemic logics of shallow depths for game theory2009

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Logic, Game theory, and Social Choise 6
    • Place of Presentation
      筑波大学 (つくば市)
    • Year and Date
      2009-08-27
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] Kripke-Type Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2009

    • Author(s)
      N. Suzuki
    • Organizer
      Logic and Engineering of Natural Language Semantics 6 (LENLS VI)
    • Place of Presentation
      キャンパスイノベーションセンター(東京都)
    • Year and Date
      2009-11-20
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] Semantics for intuitionistic epistemic logics of shallow depths for game theory2009

    • Author(s)
      N. -Y. Suzuki
    • Organizer
      SAET Conference on Current Trends in Economics 2009
    • Place of Presentation
      Ischia, Italy
    • Year and Date
      2009-07-04
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] Kripke-Type Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2009

    • Author(s)
      N. -Y. Suzuki
    • Organizer
      Logic and Engineering of Natural Language Semantics 6 (LENLS VI)
    • Place of Presentation
      Tokyo, Japan
    • Year and Date
      2009-11-20
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] A Proof-Theoretic Evaluation of Arrow's Impossibility Theorem2008

    • Author(s)
      M. Kaneko, N. -Y. Suzuki
    • Organizer
      9th International Meeting of the Society for Social Choice and Welfare
    • Place of Presentation
      Concordia University, Montreal, Canada
    • Year and Date
      2008-06-21
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] Contentwise Complexity : An Evaluation of Arrow's Impossibility Theorem2008

    • Author(s)
      金子守鈴木信行
    • Organizer
      数理論理学研究集会
    • Place of Presentation
      九州産業大学
    • Year and Date
      2008-11-08
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] ある直観主義的認識論理とそのKripke型意味論2008

    • Author(s)
      鈴木信行
    • Organizer
      数理論理学研究集会
    • Place of Presentation
      九州産業大学
    • Year and Date
      2008-11-08
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] ある直観主義的認識論理とそのKripke型意味論2008

    • Author(s)
      鈴木信行
    • Organizer
      42nd MLG数理論理学研究集会2008
    • Place of Presentation
      九州産業大学
    • Year and Date
      2008-11-08
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] ある直観主義的認識論理とその意味論2008

    • Author(s)
      鈴木信行
    • Organizer
      日本数学会秋季総合分科会
    • Place of Presentation
      東京工業大学
    • Year and Date
      2008-09-26
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2008

    • Author(s)
      N. -Y. Suzuki
    • Organizer
      Logic and Economics(Players with Limited Cognitive and Inferential Abilities and Mental-Behavioral Consequences)
    • Place of Presentation
      Tsukuba, Japan
    • Year and Date
      2008-08-26
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] A Proof-Theoretic Evaluation of Arrow's Impossibility Theorem2008

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Logic and Economics
    • Place of Presentation
      筑波大学
    • Year and Date
      2008-08-26
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] Contentwise Complexity: An evaluation of Arrow's impossibility theomem2008

    • Author(s)
      金子守、鈴木信行
    • Organizer
      42nd MLG数理論理学研究集会2008
    • Place of Presentation
      九州産業大学
    • Year and Date
      2008-11-08
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] A Proof-Theoretic Evaluation of Arrow's Impossibility Theorem2008

    • Author(s)
      M. Kaneko, N. -Y. Suzuki
    • Organizer
      Logic and Economics(Players with Limited Cognitive and Inferential Abilities and Mental-Behavioral Consequences)
    • Place of Presentation
      Tsukuba, Japan
    • Year and Date
      2008-08-27
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2008

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Logic and Economics
    • Place of Presentation
      筑波大学
    • Year and Date
      2008-08-26
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] ある直観主義的認識論理とその意味論2008

    • Author(s)
      鈴木信行
    • Organizer
      日本数学会秋季総合分科会(数学基礎論分科会)
    • Place of Presentation
      東京工業大学東京・日本
    • Year and Date
      2008-09-26
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] ntutionistic Epistemic Logics of Shallow Depths: Possible-State-of-Mind Semantics2007

    • Author(s)
      N. -Y. Suzuki
    • Organizer
      8th SAET Conference on Current Trends in Economics 2007
    • Place of Presentation
      Kos, Greece
    • Year and Date
      2007-06-19
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] Some Logical Aspects in Game Theoretical Situations: Constructive and Shallow Epistemic Inferences-Intuitionistic Epistemic Logic-2007

    • Author(s)
      N. -Y. Suzuki
    • Organizer
      Workshop on Epistemic Logic and Game Theory
    • Place of Presentation
      Taipei, Taiwan
    • Year and Date
      2007-08-19
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] Semantics of Epistemic Logics for Constructive and Shallow Epistemic Inferences2007

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      2007 Joint Conference in Game Theory and Decentralization
    • Place of Presentation
      台北(Taipei)
    • Year and Date
      2007-10-21
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] Intuitionistic Epistemic Logics of Shallow Depths for Game Theoretical Applications:Completeness and Decidability2007

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      The 5th International Conference on Logic, Game Theory and Social Choice 2007
    • Place of Presentation
      ビルバオ、スペイン(Bilbao,Spain)
    • Year and Date
      2007-06-22
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] Intutionistic Epistemic Logics of Shallow Depths2007

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      8th SAET Conference on Current Trends in Economics
    • Place of Presentation
      コス、ギリシャ(Kos,Greece)
    • Year and Date
      2007-06-19
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] Some Logical Aspects in Game Theoretical Situations:Constructive and Shallow Epistemic Inferences2007

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Workshop on Epistemic Logic and Game Theory
    • Place of Presentation
      台北(Taipei)
    • Year and Date
      2007-08-19
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] Semantics of Epistemic Logics for Constructive and Shallow Epistemic Inferences2007

    • Author(s)
      N. -Y. Suzuki
    • Organizer
      2007 Joint Conference in Game Theory and Decentralization
    • Place of Presentation
      Taipei, Taiwan
    • Year and Date
      2007-10-21
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] Intuitionistic Epistemic Logics of Shallow Depths for Game Theoretical Applocations: ompleteness and Decidability2007

    • Author(s)
      N. -Y. Suzuki
    • Organizer
      5th International Conference on Logic, Game Theory and Social Choice 2007
    • Place of Presentation
      Bilbao, Spain
    • Year and Date
      2007-06-22
    • Data Source
      KAKENHI-PROJECT-19540123
  • [Presentation] Some Considerations of Prediction/Decision Criteria in Epistemic Predicate Logics

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      13th SAET 2013
    • Place of Presentation
      MINES ParisTech(パリ、フランス)
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] The Prawiz-Doorman term existence property in superintuitionistic predicate logics

    • Author(s)
      N.-Y. Suzuki
    • Organizer
      RIMS 研究集会「証明論と複雑性」
    • Place of Presentation
      京都大学数理解析研究所
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] A Note on the Existence and Disjunction Properties in Super-Intuitionistic Predicate Logics

    • Author(s)
      N.-Y. Suzuki
    • Organizer
      Advances in Modal Logic 2012
    • Place of Presentation
      Copenhagen (Denmark)
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] Ono's problem N52

    • Author(s)
      N.-Y. Suzuki
    • Organizer
      数理論理学研究集会
    • Place of Presentation
      KKR 湯沢ゆきぐに(新潟県)
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] Some Considerations of Prediction/Decision Criteria

    • Author(s)
      Suzuki, N.
    • Organizer
      13th SAET Conference on Current Trends in Economics 2013
    • Place of Presentation
      Paris, France
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] Decision Criteria for Games in Epistemic Logic

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      International Workshop on Inductive Game Theory
    • Place of Presentation
      クイーンズランド大学(ブリスベン、オーストラリア)
    • Invited
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] Decision and Prediction Criteria for Games and Intuitionistic Epistemic Logic of Shallow Depths

    • Author(s)
      Suzuki, N.
    • Organizer
      Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions
    • Place of Presentation
      Kanazawa, Japan
    • Invited
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] 述語論理でのPrediction/Decision Criteria の予備的考察

    • Author(s)
      鈴木信行
    • Organizer
      認識論理とゲーム理論研究会
    • Place of Presentation
      筑波大学(茨城県)
    • Invited
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] Remarks on Ono's Two Problems: Existence and Disjunction Properties in Super-Intuitionistic Predicate Logics

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Logic, Algebra and Truth Degrees 2012
    • Place of Presentation
      石川県立美術館(石川県)
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] Remarks on Ono's Two Problems: Existence and Disjunction Properties in Super-Intuitionistic Predicate Logics

    • Author(s)
      N.-Y. Suzuki
    • Organizer
      Logic, Algebra and Truth Degrees 2012
    • Place of Presentation
      石川県立美術館(石川県)
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] Ono's problem N52

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      数理論理学研究集会
    • Place of Presentation
      KKR 湯沢ゆきぐに(新潟県)
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] A Treatment of Decision and Prediction Criteria in the Setting of Game Logic GLEF

    • Author(s)
      N.-Y. Suzuki
    • Organizer
      InternationalWorkshop on Game Theory, Epistemic Logic, & Related Topics
    • Place of Presentation
      筑波大学(茨城県)
    • Invited
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] 述語論理でのPrediction/Decision Criteria の予備的考察

    • Author(s)
      鈴木信行
    • Organizer
      認識論理とゲーム理論研究会
    • Place of Presentation
      筑波大学(茨城県)
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] A Note on the Existence and Disjunction Properties in Super-Intuitionistic Predicate Logics

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Advances in Modal Logic 2012
    • Place of Presentation
      IDA Conference Center (デンマーク, コペンハーゲン)
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] 中間述語論理におけるPrawiz Doorman term existence property

    • Author(s)
      鈴木信行
    • Organizer
      日本数学会 2013 年度秋季総合分科会(数学基礎論分科会)
    • Place of Presentation
      愛媛大学(愛媛県)
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] Decision Criteria for Games in Epistemic Logic

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      The 2nd International Workshop on Game Theory, Epistemic Logic, & Related Topics
    • Place of Presentation
      筑波大学(茨城県)
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] First-Order Intuitionistic Epistemic Logics Arising from Game Theory

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Advances in Modal Logic 2012
    • Place of Presentation
      IDA Conference Center (デンマーク, コペンハーゲン)
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] First-Order Intuitionistic Epistemic Logics Arising from Game Theory

    • Author(s)
      N.-Y. Suzuki
    • Organizer
      Advances in Modal Logic 2012
    • Place of Presentation
      Copenhagen (Denmark)
    • Data Source
      KAKENHI-PROJECT-21243016
  • [Presentation] Decision and Prediction Criteria for Games and Intuitionistic Epistemic Logic of Shallow Depths

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions
    • Place of Presentation
      しいのき迎賓館(石川県)
    • Invited
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] The Prawiz-Doorman term existence property in superintuitionistic predicate logics

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      RIMS 研究集会「証明論と複雑性」
    • Place of Presentation
      京都大学数理解析研究所(京都府)
    • Data Source
      KAKENHI-PROJECT-24540120
  • [Presentation] 中間述語論理におけるexistence property のいくつかの弱い変種について

    • Author(s)
      鈴木 信行
    • Organizer
      日本数学会 2015年度年会(数学基礎論分科会)
    • Place of Presentation
      明治大学駿河台キャンパス
    • Year and Date
      2015-03-21 – 2015-03-24
    • Data Source
      KAKENHI-PROJECT-26245026
  • [Presentation] A Treatment of Decision and Prediction Criteria in the Setting of Game Logic GLEF

    • Author(s)
      Nobu-Yuki Suzuki
    • Organizer
      InternationalWorkshop on Game Theory, Epistemic Logic, & Related Topics
    • Place of Presentation
      筑波大学(茨城県)
    • Data Source
      KAKENHI-PROJECT-24540120
  • 1.  KANEKO Mamoru (40114061)
    # of Collaborated Projects: 10 results
    # of Collaborated Products: 12 results
  • 2.  ONO Hiroakira (90055319)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 3.  AKIYAMA Eizo (40317300)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 6 results
  • 4.  ISHIKAWA Ryuichiro (80345454)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 5.  TAKANO Mitio (70126423)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 6.  KOMORI Yuichi (10022302)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 7.  KANO Mikio (20099823)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  SHIMURA Tatsuya (90246835)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  MATSUI Akihiko (30272165)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  YOSHIDA Masatoshi (00201012)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  YORIOKA Teruyuki (60432192)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 12.  外山 芳人 (00251968)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  小山 晃 (40116158)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  千葉 慶子 (90022227)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 15.  田中 直樹 (00207119)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  清水 扇丈 (50273165)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  大田 春外 (40126769)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  久村 裕憲 (30283336)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  船木 由喜彦 (50181433)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  竹内 あい (10453979)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  Kvasov Dmitriy (90791525)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  須賀 晃一 (00171116)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  畳谷 整克 (40272166)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  梶井 厚志 (80282325)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  kline Jeffrey J
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 26.  Hu Tai-Wei
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 27.  NIKI Kazuhisa
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 1 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi