Tatsuya Shimura

MaRDI QIDQ1208112zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 2024636 (Why is no real title available?)	2002-01-01	Paper
Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster Studia Logica	2001-09-30	Paper
scientific article; zbMATH DE number 1556961 (Why is no real title available?)	2001-07-26	Paper
scientific article; zbMATH DE number 2024613 (Why is no real title available?)	2001-01-01	Paper
scientific article; zbMATH DE number 1377707 (Why is no real title available?)	1999-12-14	Paper
scientific article; zbMATH DE number 1373381 (Why is no real title available?)	1999-12-02	Paper
Cut‐Elimination Theorem for the Logic of Constant Domains Mathematical Logic Quarterly	1995-09-28	Paper
scientific article; zbMATH DE number 759444 (Why is no real title available?)	1995-07-27	Paper
scientific article; zbMATH DE number 549808 (Why is no real title available?)	1994-11-24	Paper
scientific article; zbMATH DE number 440027 (Why is no real title available?)	1994-03-10	Paper
Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas Studia Logica	1993-05-16	Paper
scientific article; zbMATH DE number 120347 (Why is no real title available?)	1993-02-22	Paper
On the strength of PA with a non-principal ultrafilter quantifier Annals of the Japan Association for Philosophy of Science	1992-06-25	Paper

Research outcomes over time

This page was built for person: Tatsuya Shimura