[1]. 否定論理式に制限したExistence Propertyを中間述語論理で考える
第58回MLG 数理論理学研究集会 （2024年2月18日） 招待講演以外
[発表者]鈴木 信行
[URL]
[備考] MLG 数理論理学研究集会 （於: 東北大学大学院情報科学研究科）
[2]. Existence Property for Negated Formulas in Intermediate Predicate Logics
京都大学数理解析研究所 研究集会「証明論と計算論の最前線」 （2023年12月11日） 招待講演以外
[発表者]鈴木信行
[URL]
[備考] 京都大学数理解析研究所 京都府京都市
[3]. Intermediate Predicate Logics and Existence Property
Tokyo model theory seminar （2023年11月29日） 招待講演
[発表者]Nobu-Yuki Suzuki
[URL]
[備考] Tokyo model theory seminar
[4]. 中間述語論理に於ける弱い existence property に関する補遺
日本数学会 2023年度秋季総合分科会（数学基礎論分科会） （2023年9月22日） 招待講演以外
[発表者]鈴木 信行
[備考] 東北大学 宮城県仙台市 日本数学会
[5]. Two properties of quantifiers described as meta-theorems on some non-classical predicate logics
Workshop on Foundations of Game Theory: Logic, Bounded Rationality, and Decisions （2022年11月28日） 招待講演
[発表者]Nobu-Yuki Suzuki
[備考] Top Global University Project, Center for Positive/Empirical Analysis of Political Economy
SGU at Waseda University (早稲田大学)
[6]. 冠頭標準形定理が成り立つ中間述語論理についての注意
日本数学会 2022年度秋季総合分科会（数学基礎論分科会） （2022年9月16日） 招待講演以外
[発表者]鈴木 信行
[備考] 北海道大学 北海道札幌市 日本数学会
[7]. Prenex normal form theoremを超直観主義述語論理で考える
第56回MLG 数理論理学研究集会 （2022年3月） 招待講演以外
[発表者]鈴木 信行
[備考] MLG 数理論理学研究集会 （オンライン開催）
[8]. 超直観主義述語論理におけるPrenex normal form theorem に関する覚書
京都大学数理解析研究所 研究集会「証明と計算の理論と応用」 （2021年12月21日） 招待講演以外
[発表者]鈴木信行
[備考] 京都大学数理解析研究所 京都府京都市
[9]. 中間述語論理における選言特性と存在特性
日本数学会 2020年度秋季総合分科会（数学基礎論分科会）特別講演 （2020年9月25日） 招待講演
[発表者]鈴木 信行
[備考] 熊本大学 熊本県熊本市 日本数学会
新型コロナウイルス感染症対策によりオンライン開催
[10]. Existence and disjunction properties in intermediate predicate logics
Colloquium at Departments of Philosophy I and II of Ruhr University Bochum （2020年1月23日） 招待講演
[発表者]鈴木信行
[備考] Departments of Philosophy I and II of Ruhr University Bochum
[11]. 中間述語論理における選言特性と存在特性およびKripke完全性に関する注意
京都大学数理解析研究所 研究集会「証明論その周辺」 （2019年12月25日） 招待講演以外
[発表者]鈴木信行
[備考] 京都大学数理解析研究所 京都府京都市
[12]. Shehtmanの問いから始まった話
第54回MLG 数理論理学研究集会 （2019年12月15日） 招待講演以外
[発表者]鈴木 信行
[備考] MLG 数理論理学研究集会 （神奈川県三浦市）
[13]. Kripke 枠不完全かつ代数的不完全な中間述語論理をたくさん作っていた
日本数学会 2019年度秋季総合分科会（数学基礎論分科会） （2019年9月20日） 招待講演以外
[発表者]鈴木 信行
[備考] 金沢大学 角間キャンパス 石川県 日本数学会
[14]. 選言特性を持ち存在特性を持たない中間述語論理についてのもうひとつの注意
日本数学会 2019年度年会（数学基礎論分科会） （2019年3月17日） 招待講演以外
[発表者]鈴木 信行
[備考] 東京工業大学 大岡山キャンパス 東京都 日本数学会
[15]. 中間述語論理における選言特性と２つの弱い変種について
第53回MLG 数理論理学研究集会 （2018年11月30日） 招待講演以外
[発表者]鈴木 信行
[備考] MLG 数理論理学研究集会 （静岡県静岡市）
[16]. Small Infinitary Epistemic Logics (with Tai-wei Hu and Nobu-Yuki Suzuki)
SAML 2018Symposium on Advances in Mathematical Logic 2018 (Takeuti Memorial Symposium) （2018年9月19日） 招待講演以外
[発表者]Mamoru Kaneko
[URL]
[備考] 神戸大学六甲台第2キャンパス(兵庫県神戸市)
[17]. 中間述語論理における選言特性とその弱い変種についての注意
日本数学会2018 年度秋季総合分科会 （2018年9月） 招待講演以外
[発表者]鈴木 信行
[備考] 日本数学会 岡山大学(岡山県)
[18]. A remark on predicate extensions of intuitionistic logic
Second Workshop on Mathematical Logic and its Applications （2018年3月） 招待講演以外
[発表者]鈴木 信行
[URL]
[備考] 金沢東急ホテル＋石川県政記念 しいのき迎賓館（石川県金沢市）
JSPS Core-to-Core Program "Mathematical Logic and its Applications"
[19]. 存在特性を持ち選言特性を持たない中間述語論理をたくさん作る
日本数学会 2018年度年会（数学基礎論分科会） （2018年3月） 招待講演以外
[発表者]鈴木 信行
[備考] 東京大学駒場キャンパス 東京都 日本数学会
[20]. 存在特性を持ち選言特性を持たない中間述語論理について
第5 回山陰基礎論・解析学研究集会 （2018年1月） 招待講演以外
[発表者]鈴木 信行
[備考] 皆生の宿 ゆるり(鳥取県米子市)
[21]. Disjunction property を持ちexistence property を持たない中 間述語論理
第52回MLG 数理論理学研究集会 （2017年12月） 招待講演以外
[発表者]鈴木 信行
[備考] MLG 数理論理学研究集会 （静岡県静岡市）
[22]. Separation of non-constructive principles and Kripke models
第52回MLG 数理論理学研究集会 （2017年12月） 招待講演以外
[発表者]藤原誠,石原哉,根元多佳子,鈴木信行,横山啓太
[備考] MLG 数理論理学研究集会 （静岡県静岡市）
[23]. 中間述語論理における公理型としてのomniscience principles
日本数学会 2017年度年会（数学基礎論分科会） （2017年3月） 招待講演以外
[発表者]鈴木 信行
[備考] 首都大学東京 東京都 日本数学会
[24]. Omniscience principlesに関する中間述語論理からの注意
第4回 山陰 基礎論・解析学 研究集会 （2017年1月） 招待講演以外
[発表者]鈴木 信行
[備考] 国際ファミリープラザ(鳥取県米子市)
[25]. Some weak variants of existence and disjunction properties in intermediate predicate logics
MLG 数理論理学研究集会 （2016年10月） 招待講演以外
[発表者]鈴木 信行
[備考] 四季の湯強羅静雲荘(神奈川県)
[26]. 中間述語論理におけるdisjunction property とexistence propertyのいくつかの弱い変種について
日本数学会2016 年度秋季総合分科会 （2016年9月） 招待講演以外
[発表者]鈴木 信行
[備考] 日本数学会 関西大学(大阪府)
[27]. Relations among some weak variants of existence and disjunction properties in intermediate predicate logics
Logic Colloquium 2016 （2016年8月） 招待講演以外
[発表者]鈴木 信行
[備考] Leeds, UK
[28]. 中間述語論理と構成的数学の接点
認識論理・様相論理研究会 （2015年12月） 招待講演
[発表者]鈴木 信行
[備考] 早稲田大学・早稲田キャンパス（東京都）
[29]. 中間述語論理の話題
鹿児島大学数理情報科学談話会 （2015年11月） 招待講演
[発表者]鈴木 信行
[備考] 鹿児島大学理学部数理情報科学科 鹿児島県鹿児島市
[30]. 直観主義述語論理に付加してdisjunction propertyとexistence propertyを保存する公理型について
日本数学会 2015年度秋季総合分科会（数学基礎論分科会） （2015年9月） 招待講演以外
[発表者]鈴木 信行
[備考] 京都産業大学 京都府京都市 日本数学会
[31]. Axiom schema of Markov's principle preserves disjunction and existence properties
Computability Theory and Foundations of Mathematics (CTFM) 2015 （2015年9月） 招待講演以外
[発表者]鈴木 信行
[備考] 国際会議 東京工業大学大岡山キャンパス 東京都
[32]. Small Infinitary Logic, and Fixed Point Logic (with M. Kaneko and T.-W. Hu)
East Asian Game Theory Conference 2015 (EAGT2015) （2015年8月） 招待講演以外
[発表者]鈴木 信行
[備考] 国際会議 EAGT2015 早稲田大学高田馬場キャンパス 東京都
[33]. Small Infinitary Logic, and Fixed Point Logic (with M. Kaneko and T.-W. Hu)
Joint conferences on ``Logic, Game Theory, and Social Choice 8'' and ``The 8th Pan-Pacific Conference on Game Theory'' (LGS 8 & 8 PPCGT) （2015年5月） 招待講演以外
[発表者]鈴木 信行,M. Kaneko,T.-W. Hu
[備考] Academia Sinica, Taipei, Taiwan
[34]. 中間述語論理におけるexistence property のいくつかの弱い変種について
日本数学会 2015年度年会(数学基礎論分科会) （2015年3月） 招待講演以外
[発表者]鈴木 信行
[備考] 明治大学駿河台キャンパス 東京都
[35]. The existence property and related properties in intermediate predicate logics
JAIST LOGIC WORKSHOP SERIES 2015: Constructivism and Computability （2015年3月） 招待講演以外
[発表者]鈴木 信行
[備考] 国際会議 金沢県政記念館 しいのき迎賓館 石川県
[36]. 中間述語論理におけるExistence Propertyに関する話題--- 小野の問題P52とその周辺 ---
数理論理学セミナー （2015年1月） 招待講演以外
[発表者]鈴木 信行
[備考] 東京工業大学 鹿島研究室 東京都
[37]. Two weak versions of existence property in intermediate predicate logics
数理論理学研究集会 （2014年12月） 招待講演以外
[発表者]鈴木 信行
[備考] 山中温泉 石川県加賀市
[38]. Remarks on the existence property in intermediate predicate logics
研究集会「証明論・計算論とその周辺」 （2014年12月） 招待講演以外
[発表者]鈴木 信行
[備考] 京都大学数理解析研究所 京都府
[39]. 中間述語論理におけるexistence property とdisjunction property の独立性
日本数学会 2014年度秋季総合分科会（数学基礎論分科会） （2014年9月） 招待講演以外
[発表者]鈴木 信行
[備考] 広島大学 広島県東広島市
[40]. Decision criteria and their feasibility in games with constructive reasoning
14th SAET Conference on Current Trends in Economics 2014 （2014年8月） 招待講演以外
[発表者]鈴木 信行
[備考] 国際会議 Society for the Advancement of Economic Theory
早稲田大学 早稲田キャンパス 東京都
[41]. Some properties related to existence property in intermediate predicate logics
Logic Colloquium 2014 （2014年7月） 招待講演以外
[発表者]鈴木 信行
[備考] Vienna, Austria
[42]. Decision and Prediction Criteria for Games and Intuitionistic Epistemic Logic of Shallow Depths
Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions （2014年2月） 招待講演
[発表者]鈴木 信行
[備考] 国際会議 金沢県政記念館 しいのき迎賓館 石川県
[43]. Decision Criteria for Games in Epistemic Logic
International Workshop on Inductive Game Theory （2013年12月） 招待講演
[発表者]鈴木 信行
[備考] クイーンズランド大学 ブリスベン オーストラリア
[44]. 中間述語論理におけるPrawiz Doorman term existence property
日本数学会 2013年度秋季総合分科会（数学基礎論分科会） （2013年9月） 招待講演以外
[発表者]鈴木 信行
[備考] 愛媛大学（愛媛県)日本数学会
[45]. Decision Criteria for Games in Epistemic Logic
The 2nd International Workshop on Game Theory, Epistemic Logic, & Related Topics （2013年8月） 招待講演以外
[発表者]鈴木 信行
[備考] 国際会議 筑波大学（茨城県）
[46]. Some Considerations of Prediction/Decision Criteria in Epistemic Predicate Logics
13th SAET Conference on Current Trends in Economics 2013 （2013年7月） 招待講演以外
[発表者]鈴木 信行
[備考] MINES ParisTech（パリ、フランス）
[47]. 述語論理でのPrediction/Decision Criteria の予備的考察
認識論理とゲーム理論研究会 （2013年3月） 招待講演以外
[発表者]鈴木 信行
[備考] 筑波大学（茨城県）
[48]. Ono's problem N52
MLG数理論理学研究集会 （2012年11月） 招待講演以外
[発表者]N.-Y. Suzuki
[備考] KKR 湯沢ゆきぐに(新潟県)
[49]. Remarks on Ono's Two Problems: Existence and Disjunction Properties in Super-Intuitionistic Predicate Logics
Logic, Algebra and Truth Degrees 2012 （2012年9月） 招待講演以外
[発表者]N.-Y. Suzuki
[備考] 国際会議 石川県立美術館（石川県）
[50]. The Prawiz-Doorman term existence property in superintuitionistic predicate logics
RIMS 研究集会「証明論と複雑性」 （2012年9月） 招待講演以外
[発表者]N.-Y. Suzuki
[備考] 京都大学数理解析研究所（京都府）
[51]. First-Order Intuitionistic Epistemic Logics Arising from Game Theory
Advances in Modal Logic 2012 (AiML 2012) （2012年8月） 招待講演以外
[発表者]N.-Y. Suzuki
[備考] IDA Conference Center (デンマーク, コペンハーゲン）
[52]. A Note on the Existence and Disjunction Properties in Super-Intuitionistic Predicate Logics
Advances in Modal Logic 2012 (AiML 2012) （2012年8月） 招待講演以外
[発表者]N.-Y. Suzuki
[備考] IDA Conference Center (デンマーク, コペンハーゲン）
[53]. A Treatment of Decision and Prediction Criteria in the Setting of Game Logic GLEF
InternationalWorkshop on Game Theory, Epistemic Logic, & Related Topics （2012年8月） 招待講演以外
[発表者]N.-Y. Suzuki
[備考] 国際会議 筑波大学（茨城県）
[54]. ゲーム論に由来する直観主義的認識述語論理とその意味論(その２)
日本数学会 2012年度年会(数学基礎論分科会) （2012年3月） 招待講演以外
[発表者]鈴木 信行
[備考] 日本数学会 2012年度年会(数学基礎論分科会)
[55]. A Measure of Logical Inference and its Game Theoretical Applications
The Third International Workshop on Logic, Rationality and Interaction(LORI-3) （2011年10月） 招待講演以外
[発表者]鈴木 信行,M. Kaneko
[備考] Guangzhou(広州), China
[56]. Remarks on Existence Property in Super-Intuitionistic Predicate Logics
数理論理学研究集会 （2011年10月） 招待講演以外
[備考] 開催場所（:KKR 湯沢ゆきぐに）
[57]. A Measure of Inference in Classical and Intuitionistic Logics
Logic, Game theory and Social Choice 7 (LGS7) （2011年7月） 招待講演以外
[発表者]鈴木 信行,M. Kaneko
[備考] Bucharest, Ramania
[58]. Quanti ed Intuitionistic Epistemic Logics of Shallow Depths for Game Theory
Logic, Game theory and Social Choice 7 (LGS7) （2011年7月） 招待講演以外
[発表者]鈴木 信行
[備考] Bucharest, Ramania
[59]. Predicate Intuitionistic Epistemic Logics Arising from Game Theory
Second International Conference on Order, Algebra, and Logics （2011年6月） 招待講演以外
[発表者]鈴木 信行
[備考] Krakow, Poland
[60]. A Note on a Variant of Weak Term Existence Property in Super-Intuitionistic Predicate Logics
Second International Conference on Order, Algebra, and Logics （2011年6月） 招待講演以外
[発表者]鈴木 信行
[備考] Krakow, Poland
[61]. First-Order Intuitionistic Epistemic Logics of Shallow Depths Arising from Game Theory
ACAN: Algebraic and Coalgebraic Approaches to Non-Classical Logics （2011年5月） 招待講演以外
[発表者]N.-Y. Suzuki
[備考] 国際WS 京都大学数理解析研究所
[62]. ある直観主義的認識述語論理とその意味論
日本数学会 （2011年3月） 招待講演以外
[63]. ゲーム理論に由来する直観主義的多様相述語論理およびそのKripke 型意味論
数理論理学研究集会 （2011年1月） 招待講演以外
[備考] 開催場所（:KKR 湯沢ゆきぐに）
[64]. IntuIntuitionistic Epistemic Logics of Shallow Depths for Game Theoryand Their Semantics { An Introduction to Sequent Calculi { (Tutorial)
会議名(The 2010 Workshop on Inductive Game Theory and its Related Topics) （2010年11月） 招待講演
[発表者]N.-Y. Suzuki
[備考] 主催団体名(The 2010 Workshop on Inductive Game Theory and its Related Topics) 開催地（Tsukuba, Japan）
[65]. IntuIntuitionistic Epistemic Logics of Shallow Depths for Game Theoryand Their Semantics { An Introduction to Sequent Calculi
The 2010 Workshop on Inductive Game Theory and its Related Topics （2010年11月） 招待講演以外
[備考] 国際会議 開催場所（Tsukuba, Japan）
[66]. Kripke-type semantics for intuitionistic epistemic logics of shallow depths for game theory
Logic and Engineering of Natural Language Semantics 6 （2009年11月） 招待講演以外
[備考] 国際会議 開催場所（東京）
[67]. semantics for intuitionistic epistemic logics of shallow depths for game theory
Logic, Game theory and social Choice 6 （2009年8月） 招待講演以外
[発表者]N.-Y. Suzuki
[備考] 国際会議 開催場所（筑波大学）
[68]. Semantics for intuitionistic epistemic logics of shallow depths for gametheory
SAET conference on Current Trends in Economics 2009 （2009年7月） 招待講演以外
[備考] 開催場所（Ischia, Italy）
[69]. ある直観主義的認識論理とそのKripke型意味論
数理論理学研究集会 （2008年11月） 招待講演以外
[発表者]鈴木信行
[70]. Contentwise Complexity: An Evaluation of Arrow's Impossibility Theorem
数理論理学研究集会 （2008年11月） 招待講演以外
[発表者]M. Kaneko,N.-Y. Suzuki
[71]. ある直観主義的認識論理とその意味論
日本数学会 秋季総合分科会 （2008年9月） 招待講演以外
[発表者]鈴木信行
[72]. Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory
Logic and Economics: Players with Limited Cognitive and Inferential Abilities and Mental-Behavioral Consequences （2008年8月） 招待講演以外
[発表者]N.-Y. Suzuki
[備考] 国際会議 開催場所（つくば）
[73]. A Proof-Theoretic Evaluation of Arrow's Impossibility Theorem
Logic and Economics: Players with Limited Cognitive and Inferential Abilities and Mental-Behavioral Consequences （2008年8月） 招待講演以外
[発表者]M. Kaneko,N.-Y. Suzuki
[74]. A Proof-Theoretic Evaluation of Arrow's Impossibility Theorem
9th International Meeting of the Society for Social Choice and Welfare （2008年6月） 招待講演以外
[発表者]M. Kaneko,N.-Y. Suzuki
[備考] 開催場所（Montreal, Canada）
[75]. Semantics of Epistemic Logics forConstructive and Shallow Epistemic Inferences
2007 Joint Conference in Game Theory and Decentralization （2007年10月） 招待講演以外
[備考] 開催場所（台湾）
[76]. Intutionistic Epistemic Logics of Shallow Depths:Possible-State-of-Mind Semantics
8th SAET Conference on Current Trends in Economics 2007 （2007年9月） 招待講演以外
[備考] 開催場所（Greece）
[77]. Some Logical Aspects in Game Theoretical Situations:Constructive and Shallow Epistemic Inferences--Intuitionistic Epistemic Logic--
Workshop on Epistemic Logic and Game Theory （2007年8月） 招待講演以外
[備考] 開催場所（台湾）
[78]. Intuitionistic Epistemic Logics of Shallow Depths forGame Theoretical Applocations:Completeness and Decidability
5th International Conference onLogic, Game Theory and Social Choice 2007 （2007年6月） 招待講演以外
[備考] 開催場所（Spain）
[79]. Epistemic Logic and Bounded Rationality
The 2nd Asian Decentralization Conference （2006年8月） 招待講演以外
[80]. Epistemic Logic and Bounded Rationality
会議名(The 2nd Asian Decentralization Conference) （2006年8月） 招待講演
[発表者]N.-Y. Suzuki
[備考] 国際会議 主催団体名(Program Committee of The 2nd Asian Decentralization Conference) 開催地（Tsukuba,JAPAN）
|