SUZUKI Nobuyuki 鈴木信行

Researcher Number	60216421
Other IDs
External Links
Affiliation (Current)	2025: 静岡大学, 理学部, 教授
Affiliation (based on the past Project Information) *help	2015 – 2024: 静岡大学, 理学部, 教授 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) / Basic Section 12030:Basic mathematics-related / Foundations of mathematics/Applied mathematics Except Principal Investigator Economic theory / General mathematics (including Probability theory/Statistical mathematics) / Basic Section 07010:Economic theory-related / 経済理論 / Science education
Keywords	Principal Investigator 非古典論理 / 述語論理 / Kripke意味論 / 様相論理 / 認識論理 / ゲーム理論 / クリプキ意味論 / Kripke semantics / existence property / disjunction property … More / 構成性 / 限定合理性 / 代数的意味論 / 数学基礎論 / 中間述語論理 / 構成的推論 / 直観主義的算術 / omniscience principles / set theory of reals / theory of games / algebraic semantics / epistemic logic / modal logic / non-classical logics / クリクキ意味論 / 多様相論理 / 実数の集合論 / Bounded Rationality / Game Theory / Epistemic Logics / Kripke Semantics / Non-Classical Logics / ゲーム理論への応用 / 距離の論理 / 超直感主義論理 / ゲーム理論的意思決定過程 / 強独立系列 / predicate logic / intermodiate logics / non-classical logic … More Except Principal Investigator ゲーム理論 / 認識論理 / 限定合理性 / 帰納的ゲーム理論 / 協力の発生 / 他人の思考 / 記憶 / 経験 / game theory / epistemic logic / 認識論理学 / 被験者実験 / 帰納的推論 / ナッシュ均衡 / 意思決定 / クリプキ意味論 / 部分構造論理 / 非標準論理 / セント・ぺテルスブルグ・パラドックス / 自己組織化 / 計算機シミュレーション / 公共財ゲーム / 冠頭標準形定理 / 直観主義論理 / 効用比較不能 / ゲーム理論への応用 / 確率の認識限界 / セント・ペテルスブルグ・パラドックス / 限定的準理性 / 限定的理性 / 個人間認識の深さ / シンボリック相互作用 / 準理性制約 / 理性制約 / 実践的 / 有限的立場 / semantics / proof theory / Nash equilibrium / bounded epistemic structure / decision making / 個人と時間 / 社会と個人 / 個人の論理的能力 / 個人間認識 / 誤識論理 / 意味論 / 証明論 / 有限認識構造 / lambda calculi / cut elimination theorem / Kripke semantics / modal logic / substructural logic / nonstandard logic / クリプキ・フレーム / 自然演繹体系 / クリプキ完全性 / ラムダ計算 / カット除去定理 / 様相論理 / Kripke-sheaf / Kripke-type semantics / embedding of graphs / factors of graphs / genetic algorithm / mathematical logic / graph theory / 述語論理 / Kripke意味論 / 非古典論理 / ライフゲーム / 連結因子 / クリプキ・タイプの意味論 / クリプキ層 / クリプキ・タイプ意味論 / グラフの埋め込み / グラフの因子 / 遺伝的アルゴリズム / 数理論理学 / グラフ理論 / 行動実験 / 社会正義 / 期待効用理論 / 社会制度 / かたちの数理科目 / トポロジー / 野生的空間 / 大学院教育 / かたちの数理科学 / 短期記憶 / 長期記憶 / 経験の蓄積 / 協力行 / 社会的役割 / 社会観 / 信念・知識 / 項書換え系 / 知識の論理 Less

Rationality constraints and quasi-rationality on game theory and decision theory
- Principal Investigator
  
  金子守
- Project Period (FY)
  2021 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 07010:Economic theory-related
- Research Institution
  University of Tsukuba
構成性を制御しながら直観主義論理を拡大するPrincipal Investigator
- 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
Understanding constructivity from the perspective of intermediate predicate logicsPrincipal Investigator
- Principal Investigator
  
  Suzuki Nobu-Yuki
- Project Period (FY)
  2016 – 2021
- 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

[Book] 第6章「ゲーム論理入門」、『制度と認識の経済学』（船木由喜彦・石川竜一郎編著）2013
- Author(s)
  鈴木信行（分担執筆）
- Publisher
  ＮＴＴ出版
- Data Source
  KAKENHI-PROJECT-21243016
[Book] 制度と認識の経済学2013
- Author(s)
  船木由喜彦, 石川竜一郎, 須賀晃一, 河田陽向, 坂井豊貴, 廣川みどり, 武藤滋夫, 鈴木信行, J.J.クライン
- Total Pages
  332
- Publisher
  ＮＴＴ出版
- Data Source
  KAKENHI-PROJECT-24540120
[Journal Article] EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES2023
- Author(s)
  FUJIWARA MAKOTO、ISHIHARA HAJIME、NEMOTO TAKAKO、SUZUKI NOBU-YUKI、YOKOYAMA KEITA
- Journal Title
  
  The Bulletin of Symbolic Logic
  
  Volume: 29 Issue: 3 Pages: 311-353
- DOI
  10.1017/bsl.2023.29
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21KK0045, KAKENHI-PROJECT-18K03392, KAKENHI-PROJECT-20K03716, KAKENHI-PROJECT-22K03400, KAKENHI-PROJECT-23K03205, KAKENHI-PROJECT-19K03601, KAKENHI-PROJECT-20K14354, KAKENHI-PROJECT-23K20588
[Journal Article] A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic?An Application of Jankov Formulas to Predicate Logics2022
- Author(s)
  Suzuki Nobu-Yuki
- Journal Title
  
  V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics Outstanding Contributions to Logic
  
  Volume: 24 Pages: 221-244
- DOI
  10.1007/978-3-031-06843-0_9
- ISBN
  9783031068423, 9783031068430
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K03716, KAKENHI-PROJECT-23K20588
[Journal Article] 超直観主義述語論理における Prenex normal form theorem に関する覚書2022
- Author(s)
  鈴木信行
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2228 Pages: 88-98
- Open Access
- Data Source
  KAKENHI-PROJECT-20K03716
[Journal Article] 超直観主義述語論理における Prenex normal form theorem に関する覚書2022
- Author(s)
  鈴木信行
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2228 Pages: 88-98
- Open Access
- Data Source
  KAKENHI-PROJECT-23K20588
[Journal Article] A Negative Solution to Ono’s Problem P52: Existence and Disjunction Properties in Intermediate Predicate Logics2021
- Author(s)
  Suzuki Nobu-Yuki
- Journal Title
  
  Hiroakira Ono on substructural logics, Outstanding Contributions to Logic
  
  Volume: 23 Pages: 319-337
- DOI
  10.1007/978-3-030-76920-8_9
- ISBN
  9783030769192, 9783030769208
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05252, KAKENHI-PROJECT-20K03716, KAKENHI-PROJECT-23K20588
[Journal Article] SMALL INFINITARY EPISTEMIC LOGICS2019
- Author(s)
  HU TAI-WEI、KANEKO MAMORU、SUZUKI NOBU-YUKI
- Journal Title
  
  The Review of Symbolic Logic
  
  Volume: - Issue: 4 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 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] 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] 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)
  Suzuki Nobu-Yuki
- Journal Title
  
  Bulletin of the Section of Logic
  
  Volume: 46 Issue: 1/2 Pages: 93-109
- DOI
  10.18778/0138-0680.46.1.2.08
- 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] Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2013
- Author(s)
  N. Suzuki
- Journal Title
  
  Economic Theory
  
  Volume: Vol.53 Issue: 1 Pages: 85-110
- DOI
  10.1007/s00199-012-0707-1
- NAID
  120004442649
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21243016, KAKENHI-PROJECT-24540120
[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
- Peer Reviewed
- Data Source
  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] 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
- ISBN
  9783642241291, 9783642241307
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21243016
[Journal Article] Neural basis of conditional cooperation2011
- Author(s)
  Shinsuke Suzuki
- Journal Title
  
  Social Cognitive and Affective Neuroscience
  
  Volume: 6 Issue: 3 Pages: 338-347
- DOI
  10.1093/scan/nsq042
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-11J02648, KAKENHI-PROJECT-20240026, KAKENHI-PROJECT-21243016
[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-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)
  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-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] 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] 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] ある直観主義的認識論理とその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
  120007138816
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18330034
[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] 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] 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
  120007139069
- 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 Propertyを中間述語論理で考える2024
- Author(s)
  鈴木信行
- Organizer
  第58回MLG数理論理学研究集会
- Data Source
  KAKENHI-PROJECT-20K03716
[Presentation] 否定論理式に制限したExistence Propertyを中間述語論理で考える2024
- Author(s)
  鈴木信行
- Organizer
  第58回MLG数理論理学研究集会、東北大学大学院情報科学研究科
- Data Source
  KAKENHI-PROJECT-23K20588
[Presentation] 中間述語論理に於ける弱い existence property に関する補遺2023
- Author(s)
  鈴木信行
- Organizer
  日本数学会令和5年度秋季総合分科会（数学基礎論および歴史分科会）
- Data Source
  KAKENHI-PROJECT-20K03716
[Presentation] Existence Property for Negated Formulas in Intermediate Predicate Logics2023
- Author(s)
  鈴木信行
- Organizer
  RIMS研究集会「証明論と計算論の最前線」
- Data Source
  KAKENHI-PROJECT-20K03716
[Presentation] Intermediate Predicate Logics and Existence Property2023
- Author(s)
  Nobu-Yuki Suzuki
- Organizer
  Tokyo Model Theory Seminar、オンライン
- Invited
- Data Source
  KAKENHI-PROJECT-23K20588
[Presentation] Existence Property for Negated Formulas in Intermediate Predicate Logics2023
- Author(s)
  鈴木信行
- Organizer
  RIMS研究集会「証明論と計算論の最前線」、京都大学数理解析研究所
- Data Source
  KAKENHI-PROJECT-23K20588
[Presentation] 中間述語論理に於ける弱い existence property に関する補遺2023
- Author(s)
  鈴木信行
- Organizer
  日本数学会　令和5年度秋季総合分科会（数学基礎論および歴史分科会）、東北大学
- Data Source
  KAKENHI-PROJECT-23K20588
[Presentation] Intermediate Predicate Logics and Existence Property2023
- Author(s)
  Nobu-Yuki Suzuki
- Organizer
  Tokyo Model Theory Seminar
- Invited
- Data Source
  KAKENHI-PROJECT-20K03716
[Presentation] Prenex normal form theoremを超直観主義述語論理で考える2022
- Author(s)
  鈴木信行
- Organizer
  第56回MLG数理論理学研究集会、オンライン開催
- Data Source
  KAKENHI-PROJECT-23K20588
[Presentation] Prenex normal form theoremを超直観主義述語論理で考える2022
- Author(s)
  鈴木信行
- Organizer
  第56回MLG 数理論理学研究集会
- Data Source
  KAKENHI-PROJECT-16K05252
[Presentation] 冠頭標準形定理が成り立つ中間述語論理についての注意2022
- Author(s)
  鈴木信行
- Organizer
  日本数学会令和4年度秋季総合分科会（数学基礎論および歴史分科会）
- Data Source
  KAKENHI-PROJECT-20K03716
[Presentation] 冠頭標準形定理が成り立つ中間述語論理についての注意2022
- Author(s)
  鈴木信行
- Organizer
  日本数学会令和4年度秋季総合分科会（数学基礎論および歴史分科会）
- Data Source
  KAKENHI-PROJECT-23K20588
[Presentation] Two properties of quantifiers described as meta-theorems on some non-classical predicate logics2022
- Author(s)
  Nobu-Yuki Suzuki
- Organizer
  Workshop on Foundations of Game Theory: Logic, Bounded Rationality, and Decisions
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K20588
[Presentation] Prenex normal form theoremを超直観主義述語論理で考える2022
- Author(s)
  鈴木信行
- Organizer
  第56回MLG 数理論理学研究集会
- Data Source
  KAKENHI-PROJECT-20K03716
[Presentation] Two properties of quantifiers described as meta-theorems on some non-classical predicate logics2022
- Author(s)
  Nobu-Yuki Suzuki
- Organizer
  Workshop on Foundations of Game Theory: Logic, Bounded Rationality, and Decisions
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K03716
[Presentation] 超直観主義述語論理におけるPrenex normal form theorem に関する覚書2021
- Author(s)
  鈴木信行
- Organizer
  京都大学数理解析研究所　研究集会「証明と計算の理論と応用」
- Data Source
  KAKENHI-PROJECT-20K03716
[Presentation] 超直観主義述語論理におけるPrenex normal form theorem に関する覚書2021
- Author(s)
  鈴木信行
- Organizer
  京都大学数理解析研究所　研究集会「証明と計算の理論と応用」
- Data Source
  KAKENHI-PROJECT-16K05252
[Presentation] 超直観主義述語論理におけるPrenex normal form theorem に関する覚書2021
- Author(s)
  鈴木信行
- Organizer
  RIMS研究集会「証明と計算の理論と応用」、京都大学数理解析研究所
- Data Source
  KAKENHI-PROJECT-23K20588
[Presentation] 中間述語論理における選言特性と存在特性2020
- Author(s)
  鈴木信行
- Organizer
  日本数学会　2020年度秋季総合分科会（数学基礎論分科会）
- Invited
- Data Source
  KAKENHI-PROJECT-20K03716
[Presentation] 中間述語論理における選言特性と存在特性2020
- Author(s)
  鈴木信行
- Organizer
  日本数学会　2020年度秋季総合分科会（数学基礎論分科会）
- Invited
- Data Source
  KAKENHI-PROJECT-16K05252
[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
  京都大学数理解析研究所研究集会「証明論その周辺」
- Data Source
  KAKENHI-PROJECT-16K05252
[Presentation] Shehtmanの問いから始まる話2019
- Author(s)
  鈴木信行
- Organizer
  第54回MLG数理論理学研究集会
- 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] 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] 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
  第53回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-16K05252
[Presentation] 選言特性を持ち存在特性を持たない中間述語論理についてのもうひとつの注意2018
- Author(s)
  鈴木信行
- Organizer
  日本数学会　2018年度年会(数学基礎論分科会)
- Data Source
  KAKENHI-PROJECT-16K05252
[Presentation] 存在特性を持ち選言特性を持たない中間述語論理について2018
- Author(s)
  鈴木信行
- Organizer
  第5回山陰基礎論・解析学研究集会
- Data Source
  KAKENHI-PROJECT-16K05252
[Presentation] 存在特性を持ち選言特性を持たない中間述語論理について2018
- Author(s)
  鈴木信行
- Organizer
  第5回山陰基礎論・解析学研究集会, 皆生の宿ゆるり, 鳥取県米子市
- Data Source
  KAKENHI-PROJECT-26245026
[Presentation] 中間述語論理における選言特性とその弱い変種についての注意2018
- Author(s)
  鈴木信行
- Organizer
  日本数学会　2018年度秋季総合分科会（数学基礎論分科会）
- Data Source
  KAKENHI-PROJECT-16K05252
[Presentation] 中間述語論理における選言特性と２つの弱い変種について2018
- Author(s)
  鈴木信行
- Organizer
  第53回MLG数理論理学研究集会
- Data Source
  KAKENHI-PROJECT-26245026
[Presentation] 存在特性を持ち選言特性を持たない中間述語論理をたくさん作る2018
- Author(s)
  鈴木信行
- Organizer
  日本数学会 2018年度年会(数学基礎論分科会)
- Data Source
  KAKENHI-PROJECT-26245026
[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-18
- 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-26245026
[Presentation] 中間述語論理における公理型としてのomniscience principles2017
- Author(s)
  鈴木信行
- Organizer
  日本数学会　2017年度年会(数学基礎論および歴史分科会)
- Place of Presentation
  首都大学東京 (東京都八王子市）
- Year and Date
  2017-03-25
- Data Source
  KAKENHI-PROJECT-16K05252
[Presentation] Separation of non-constructive principles and Kripke models2017
- 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-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] 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] 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] 中間述語論理における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-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-16K05252
[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] 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] 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] 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] 直観主義述語論理に付加してdisjunction propertyとexistence propertyを保存2015
- Author(s)
  鈴木信行
- Organizer
  日本数学会　2015年度秋季総合分科会（数学基礎論分科会）
- Place of Presentation
  京都産業大学, 京都府, 京都市
- Year and Date
  2015-09-13
- Data Source
  KAKENHI-PROJECT-26245026
[Presentation] 中間述語論理におけるexistence property のいくつかの弱い変種について2015
- Author(s)
  鈴木信行
- Organizer
  日本数学会　2015年度年会(数学基礎論分科会)
- Place of Presentation
  明治大学駿河台キャンパス（東京都）
- Year and Date
  2015-03-21
- 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 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-24540120
[Presentation] 中間述語論理と構成的数学の接点2015
- Author(s)
  鈴木信行
- Organizer
  認識論理・様相論理研究会
- Place of Presentation
  早稲田大学早稲田キャンパス（東京都　新宿区）
- Year and Date
  2015-12-04
- Invited
- 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] 中間述語論理における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] 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] 直観主義述語論理に付加してdisjunction propertyとexistence propertyを保存する公理型について2015
- Author(s)
  鈴木信行
- Organizer
  日本数学会　2015年度秋季総合分科会（数学基礎論分科会）
- Place of Presentation
  京都産業大学（京都府　京都市）
- Year and Date
  2015-09-16
- Data Source
  KAKENHI-PROJECT-24540120
[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-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-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-24540120
[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] 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] 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] 中間述語論理における existence property とdisjunction property の独立性2014
- Author(s)
  鈴木信行
- Organizer
  日本数学会　2014年度秋季総合分科会（数学基礎論分科会）
- Place of Presentation
  広島大学
- Year and Date
  2014-09-28
- 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-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-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-26245026
[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] 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] ゲーム論に由来する直観主義的認識述語論理とその意味論(その2)2012
- Author(s)
  鈴木信行
- Organizer
  日本数学会2012年度年会
- Place of Presentation
  東京理科大学神楽坂キャンパス(東京都)
- Year and Date
  2012-03-27
- 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] 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] 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] ゲーム理論に由来する直観主義的多様相述語論理およびそのKripke型意味論2011
- Author(s)
  Nobu-Yuki Suzuki
- Organizer
  数理論理学研究集会
- Place of Presentation
  KKR湯沢ゆきぐに (新潟県)
- Year and Date
  2011-01-08
- 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] ある直観主義的認識述語論理とその意味論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)
  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] 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-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] 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] 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 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] 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] 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] 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] 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] ある直観主義的認識論理とその意味論2008
- Author(s)
  鈴木信行
- Organizer
  日本数学会秋季総合分科会
- Place of Presentation
  東京工業大学
- Year and Date
  2008-09-26
- 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)
  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] 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] 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] 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] ある直観主義的認識論理とそのKripke型意味論2008
- Author(s)
  鈴木信行
- Organizer
  42nd MLG数理論理学研究集会2008
- 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] 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] 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] 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)
  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 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] 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] 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 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] 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] 述語論理でのPrediction/Decision Criteria の予備的考察
- Author(s)
  鈴木信行
- Organizer
  認識論理とゲーム理論研究会
- Place of Presentation
  筑波大学（茨城県）
- Invited
- Data Source
  KAKENHI-PROJECT-21243016
[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] 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] 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)
  Nobu-Yuki Suzuki
- Organizer
  数理論理学研究集会
- Place of Presentation
  KKR 湯沢ゆきぐに(新潟県)
- 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] 中間述語論理における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] 中間述語論理における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 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] 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] 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
[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] 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] 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] Ono's problem N52
- Author(s)
  N.-Y. Suzuki
- Organizer
  数理論理学研究集会
- Place of Presentation
  KKR 湯沢ゆきぐに（新潟県）
- 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] 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] 述語論理でのPrediction/Decision Criteria の予備的考察
- Author(s)
  鈴木信行
- Organizer
  認識論理とゲーム理論研究会
- 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)
  Nobu-Yuki Suzuki
- Organizer
  Logic, Algebra and Truth Degrees 2012
- Place of Presentation
  石川県立美術館（石川県）
- Data Source
  KAKENHI-PROJECT-24540120
[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

1. KANEKO Mamoru (40114061)

# of Collaborated Projects: 11 results

# of Collaborated Products: 11 results
2. AKIYAMA Eizo (40317300)

# of Collaborated Projects: 6 results

# of Collaborated Products: 5 results
3. ONO Hiroakira (90055319)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
4. ISHIKAWA Ryuichiro (80345454)

# of Collaborated Projects: 5 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: 1 results
27. ISHIHARA Hajime

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
28. TAKAKO Nemoto

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
29. 横山啓太

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
30. 藤原誠

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

SUZUKI Nobuyuki 鈴木 信行

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

構成性を制御しながら直観主義論理を拡大するPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Understanding constructivity from the perspective of intermediate predicate logicsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Reconstruction of algebraic semantics for non-classical predicate logicsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Integrated study of multi-modal logics and game theoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study of multi-modal logics and its application to game theoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Extended Kripke Semantics and its Application to Epistemic Logics and Game TheoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

拡張Kripke意味論と述語論理の強独立系列Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

SUZUKI Nobuyuki 鈴木信行