Search the dblp DataBase
Tatsuya Shimura: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Tatsuya Shimura, Ryo Kashima
Cut-Elimination Theorem for the Logic of Constant Domains. [Citation Graph (0, 0)][DBLP]
Math. Log. Q., 1994, v:40, n:, pp:153-172 [Journal] - Tatsuya Shimura
Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2000, v:65, n:2, pp:237-247 [Journal] - Tatsuya Shimura
Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas. [Citation Graph (0, 0)][DBLP]
Studia Logica, 1993, v:52, n:1, pp:23-40 [Journal] - Tatsuya Shimura
Cut-Free Systems for the Modal Logic S4.3 and S4.3Grz. [Citation Graph (0, 0)][DBLP]
Reports on Mathematical Logic, 1991, v:25, n:, pp:- [Journal] - Tatsuya Shimura
Cut-free Systems for some Modal Logics Containing S4. [Citation Graph (0, 0)][DBLP]
Reports on Mathematical Logic, 1992, v:26, n:, pp:39-65 [Journal]
Search in 0.002secs, Finished in 0.003secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002