modal logics

strong completeness

intermediate logics

cut-free system

completeness

non-classical logics

Mathematical Logic

Natural sciences, Basic mathematics, Mathematical Logic

Natural sciences, Basic mathematics, General Mathematics (includes Probability Theory/Statistical Mathematics)

Natural sciences, Applied mathematics and statistics, Mathematical Logic

Natural sciences, Applied mathematics and statistics, General Mathematics (includes Probability Theory/Statistical Mathematics)

1991
The University of Tokyo, Graduate School, Division of Science, 数学

1985
The University of Tokyo, Faculty of Science, 数学

Mar. 2007 - Feb. 2009
評議員, 日本数学会

Kripke incompleteness of predicate extentions of Gabbay-de Jongh's logic of the finite binary trees.
Bulletin of the Section of Logic, 2002, Refereed, Not invited
Lead

Kripke incompleteness of some predicate extensions of cofinal subframe logics.
Bulletin of Section of Logic, 2000, Refereed, Not invited

Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster
Tatsuya Shimura
Studia Logica, 2000, Refereed, Not invited

Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property.
Eiko Isoda; Tatsuya Shimura
Bulletin of Section of Logic., 1998, Refereed, Not invited

On completeness of intermediate predicate logics with respect to Kripke semantics
Bulletin of the Section of Logic, 1995, Refereed, Not invited
Lead

CUT-ELIMINATION THEOREM FOR THE LOGIC OF CONSTANT DOMAINS
R KASHIMA; T SHIMURA
MATHEMATICAL LOGIC QUARTERLY, 1994, Refereed, Not invited

Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas
Tatsuya Shimura
Studia Logica, Mar. 1993, Refereed, Not invited

Some super-intuitionistic logics as the logical fragments of equational theories
Bulletin of section of logic, 1993, Refereed, Not invited
Lead

Cut-free systems for some modal logics containing S4
Reports on Mathematical Logic, 1992, Refereed, Not invited
Lead

On the strength of PA with a non-principal Ultrafilter quantifier
Annals of Japan Association for Philosophy of Science, 1991, Refereed, Not invited

Cut-free Systems for the modal logic S4.3 and S4.3 Grz.
Reports on Mathematical Logic, 1991, Refereed, Not invited
Lead

On some one variable axioms over intuitionistic S4
志村立矢
京都大学数理解析研究所講究録 No.1021 sequent calculus と Kriple semantics に基づく非古典論理学の研究, Dec. 1997, Not refereed, Invited
Lead

An application of Jankov's characteristic formulas
志村立矢
京都大学数理解析研究所講究録 No.1010 非古典論理と Kripke 意味論の新局面, Aug. 1997, Not refereed, Invited
Lead

中間述語論理と様相述語論理のKripke semanticsに関する完全性と不完全性について
志村立矢
京都大学数理解析研究所講究録 No.927 非古典論理とその Kripke 意味論に関する諸問題, Nov. 1995, Not refereed, Invited
Lead

PA 上の non-principal prime filter quantifier の強さについて
志村立矢
京都大学数理解析研究所講究録 No.847 証明論と逆数学, Aug. 1993, Not refereed, Invited
Lead

特集 数セミを楽しむためのキーワード 自然数 数学基礎論 不完全性定理
志村立矢
数学セミナー 1993年4月号, Apr. 1993, Not refereed, Invited
Lead

AI_ξ^- の周辺の理論とその証明論的順序数
志村立矢
京都大学数理解析研究所講究録 No.669 二階算術の証明論, Aug. 1988, Not refereed, Invited
Lead

プリンストン数学大全
砂田利一; 石井仁司; 平田典子; 二木昭人; 森真 監訳, Joint translation, 砂田利一 ・石井仁司 ・平田典子 ・二木昭人 ・森真 監訳
朝倉書店, Dec. 2016, Not refereed
9784254111439

岩波 数学辞典 第4版
日本数学会編, Contributor, 数学基礎論, 日本数学会編
岩波書店, Mar. 2007, Not refereed
9784000803090

コンピュータのための数学 論理的アプローチ
D.グリース; F.B.シュナイダー; 著; 難波完爾; 土居範久; 監訳, Joint translation, D.グリース F.B.シュナイダー 著 難波完爾 土居範久 監訳
日本評論社, Jul. 2001, Not refereed
9784535783010

コンピュータ基礎理論ハンドブック
Jan van Leeuwen; 編; 広瀬健; 他監, Joint translation, 時相論理と様相論理, Jan van Leeuwen 編 広瀬健 他監訳
丸善, Feb. 1994, Not refereed
4621039202

様相論理 K4Z_{14}^+ のカット除去について
志村立矢
日本数学会秋季総合分科会, Sep. 2023, Not invited

Disjunction property に関する Minari の定理の拡張について
志村立矢
日本数学会秋季総合分科会, Sep. 2023, Not invited

Avron の hypersequent calculus GLCW の一般化の部分体系に関する保存性
横溝恭平
日本数学会秋季総合分科会, Sep. 2021, 日本数学会, Not invited

強い意味の disjunction property の易しい証明
志村立矢
日本数学会秋季総合分科会, Sep. 2020, 日本数学会, Not invited

様相論理 KD4Z₁₄ とその周辺
志村立矢
日本数学会秋季総合分科会, Sep. 2019, Not invited

論理記号の制限と strong disjunction property
志村立矢
第52回数理論理学研究集会 MLG, Dec. 2017, Not invited

A strong form of Harrop disjunction property
Tatsuya Shimura
The 51st Mathematical Logic Group Meeting (MLG), Oct. 2016, Not invited

強い形の disjunction property を持つ論理式の例
志村立矢
日本数学会秋季総合分科会, Sep. 2016, 日本数学会, Not invited

Chairperson
日本数学会年会, Mar. 2015, Not invited

一変数論理式の許容推論規則と disjunction property
日本数学会秋季総合分科会, Sep. 2012, 日本数学会, Not invited

等号を持たない場合の Craig の補間定理について
日本数学会秋季総合分科会, Sep. 2011, 日本数学会, Not invited

Some cut-free multi-modal logics
数理論理学研究集会 MLG, Jan. 2011, Not invited

強い形の disjunction property について II
数理論理学研究集会 MLG, Dec. 2009, Invited

様相論理K4DLZの周辺．Cut 除去，interpolation
数理論理学研究集会 MLG, Nov. 2008, Invited

一変数公理の disjunction property について
数理論理学研究集会 MLG, Nov. 2007, Invited

On a strong form of disjunction property
数理論理学研究集会 MLG, Dec. 2005, Invited

Gabbay-de Jongh の logic の disjunction property について
記号論理学と情報科学 SLACS 2005, Sep. 2005, Invited

Chairperson
日本数学会秋季総合分科会, Sep. 2004, Not invited

二重様相論理と公理 □₁ A→ □₂□₁ A, □₁ A→ □₂ A
志村立矢
日本数学会秋季総合分科会, Sep. 2003, Not invited

Kripke incompleteness of predicate extensions of Gabbay-de Jongh's logic of finite binary treees
数理論理学研究集会 MLG, Jan. 2002, Invited

Kripke incompleteness of predicate extensions of Gabbay-de Jongh's logic of finite binary trees
志村立矢
日本数学会秋季総合分科会, Oct. 2001, Not invited

Kripke completeness of predicate extensions of cofinal subframe logics
数理論理学研究集会 MLG, Jan. 2001, Invited

Kripke incompleteness of some predicate extensions of cofinal subframe logics
日本数学会秋季総合分科会, Sep. 2000, Not invited

On a modal predicate logic with Glivenko type characterization
MLG, Jan. 2000, Invited

A semantical proof of the cut-elimination for Kashima's connection calculus
志村立矢
日本数学会年会, Mar. 1999, Not invited

A semantics of Kashima's connection calculus for the logic of constant domain
志村立矢
SLACS98, Oct. 1998, Invited

自明でない cluster を持つ Kripke frame に対する canonical formula により公理化される論理の述語拡大の完全性について
日本数学会秋季総合分科会, Sep. 1998, Not invited

Kripke incompleteness of predicate extensions of some subframe logics without finite embedding property
礒田恵以子
日本数学会年会, Mar. 1998, Not invited

直観主義様相論理と一変数公理について
日本数学会秋季総合分科会, Sep. 1997, Not invited

On some one variable axioms over intuitionistic S4
志村立矢
数理解析研究所 短期共同研究 sequent calculus と Kripke semantics に基づく非古典論理学の研究, Jul. 1997, Invited

Jankov の定理の拡張とその応用
志村立矢
日本数学会年会, Apr. 1997, Not invited

An application of Jankov's characteristic formulas
志村立矢
数理解析研究所短期共同研究 非古典論理と Kripke 意味論の新局面, Mar. 1997, Invited

非古典論理の Kripke semantics に関する完全性について
志村立矢
日本数学会年会数学基礎論および歴史分科会, Mar. 1996, 日本数学会, Invited

中間述語論理と様相述語論理のKripke semanticsに関する完全性と不完全性について。(非古典論理とそのKripke意味論に関する諸問題)
数理解析研究所短期共同研究 非古典論理とそのKripke意味論に関する諸問題, Jul. 1995, Invited

On completeness of intermediate predicate logics with respect to Kripke
Workshop on Non-standard Logics and Logical Aspects of Computer Science, Dec. 1994, Invited

中間命題論理が強完全であるためのモデル論的必要条件
志村立矢
日本数学会秋季総合分科会, Sep. 1993, 日本数学会, Not invited

PA 上の non-principal prime filter quantifier の強さについて
志村立矢
数理解析研究所短期共同研究 証明論と逆数学, Jan. 1993, Invited

超直観主義論理と中間論理上の等号理論について
鈴木信行
日本数学会秋季総合分科会, Oct. 1992, Not invited

完全だが強完全でない中間命題論理
志村立矢
日本数学会秋季総合分科会, Oct. 1992, 日本数学会, Not invited

続・公理 K をもつ中間述語論理に対する cut-free な体系
志村立矢
日本数学会年会, Apr. 1992, Not invited

公理 K をもつ中間述語論理に対する cut-free な体系
志村立矢
日本数学会年会, Apr. 1991, Not invited

AI^-_{ξ の周辺の理論とその証明論的順序数
志村立矢
数理解析研究所短期共同研究 二階算術の証明論, May 1988, Invited}

Apr. 1991 - Present
Mathematical Society of Japan