The SCEAS System
Navigation Menu

Search the dblp DataBase


Tatsuya Shimura: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002