Tatsuya Shimura

From MaRDI portal
Person:1208112

Available identifiers

zbMath Open shimura.tatsuyaMaRDI QIDQ1208112

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q44432132002-01-01Paper
Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster2001-09-30Paper
https://portal.mardi4nfdi.de/entity/Q45267342001-07-26Paper
https://portal.mardi4nfdi.de/entity/Q44431882001-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47031381999-12-14Paper
https://portal.mardi4nfdi.de/entity/Q47040701999-12-02Paper
Cut‐Elimination Theorem for the Logic of Constant Domains1995-09-28Paper
https://portal.mardi4nfdi.de/entity/Q48344861995-07-27Paper
https://portal.mardi4nfdi.de/entity/Q42873411994-11-24Paper
https://portal.mardi4nfdi.de/entity/Q31419581994-03-10Paper
Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas1993-05-16Paper
https://portal.mardi4nfdi.de/entity/Q40250081993-02-22Paper
On the strength of PA with a non-principal ultrafilter quantifier1992-06-25Paper

Research outcomes over time

This page was built for person: Tatsuya Shimura

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1208112&oldid=6093329"
Powered by MediaWiki