SHIMURA Tatsuya

J-GLOBAL         Last updated: Oct 2, 2019 at 02:50
 
Avatar
Name
SHIMURA Tatsuya
Affiliation
Nihon University
Section
College of Science and Technology, Department of Mathematics
Job title
Professor
Research funding number
90246835

Research Areas

 
 

Education

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

Published Papers

 
Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster.
Studia Logica   65(2) 237-247   Apr 2000   [Refereed]
Kripke incompleteness of predicate extentions of Gabbay-de Jongh's logic of the finite binary trees.
Bulletin of the Section of Logic   (31(2)) 111-118   2002   [Refereed]
Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas
Studia Logica   52(1) 23-40   1993   [Refereed]
Cut-free systems for some modal logics containing S4
Reports on Mathematical Logic   (26) 39-65   1992   [Refereed]
On completeness of intermediate predicate logics with respect to Kripke semantics
Bulletin of the Section of Logic   24(1) 41-45   1995   [Refereed]

Misc

 
On some one variable axioms over intuitionistic S4
志村立矢
京都大学数理解析研究所講究録 No.1021sequent calculus と Kriple semantics に基づく非古典論理学の研究   1021 70-85   Dec 1997   [Invited]
An application of Jankov's characteristic formulas
志村立矢
京都大学数理解析研究所講究録 No.1010非古典論理と Kripke 意味論の新局面   1010 89-100   Aug 1997   [Invited]
中間述語論理と様相述語論理のKripke semanticsに関する完全性と不完全性について
志村立矢
京都大学数理解析研究所講究録 No.927非古典論理とその Kripke 意味論に関する諸問題   927 104-115   Nov 1995   [Invited]
PA 上の non-principal prime filter quantifier の強さについて
志村立矢
京都大学数理解析研究所講究録 No.847証明論と逆数学   847 61-67   Aug 1993   [Invited]
特集 数セミを楽しむためのキーワード自然数 数学基礎論 不完全性定理
志村立矢
数学セミナー 1993年4月号   30, 34, 55   Apr 1993   [Invited]

Books etc

 
プリンストン数学大全
砂田利一 ・石井仁司 ・平田典子 ・二木昭人 ・森真 監訳 (Part:Joint Translation)
朝倉書店   Dec 2016   ISBN:978-4-254-11143-9
岩波 数学辞典 第4版
日本数学会編
岩波書店   Mar 2007   ISBN:9784000803090
コンピュータのための数学 論理的アプローチ
D.グリース F.B.シュナイダー 著 難波完爾 土居範久 監訳 (Part:Joint Translation)
日本評論社   Jul 2001   ISBN:978-4-535-78301-0
コンピュータ基礎理論ハンドブック
Jan van Leeuwen 編 広瀬健 他監訳 (Part:Joint Translation, 時相論理と様相論理)
丸善   Feb 1994   ISBN:4-6210-3920-2

Conference Activities & Talks

 
様相論理 KD4Z14 とその周辺
日本数学会秋季総合分科会   20 Sep 2019   
論理記号の制限と strong disjunction property [Invited]
志村立矢
第52回数理論理学研究集会 MLG   3 Dec 2017   
A strong form of Harrop disjunction property [Invited]
Tatsuya Shimura
The 51st Mathematical Logic Group Meeting (MLG)   29 Oct 2016   
強い形の disjunction property を持つ論理式の例
志村立矢
日本数学会秋季総合分科会   18 Sep 2016   日本数学会
Chairperson
日本数学会年会   21 Mar 2015   

Association Memberships