Ryo Kashima

Publication Activity (10 Years)

Years Active: 1994-2020
Publications (10 Years): 1

Top Topics

Monadic Second Order Logic

Conjunctive Queries

Top Venues

J. Log. Comput.

Publications

Kento Takagi, Ryo Kashima
On the completeness and the decidability of strictly monadic second-order logic. Math. Log. Q. 66 (4) (2020)
Ken-etsu Fujita, Ryo Kashima, Yuichi Komori, Naosuke Matsuda
Reduction Rules for Intuitionistic λρ-calculus. Stud Logica 103 (6) (2015)
Ryo Kashima
An axiomatization of ECTL. J. Log. Comput. 24 (1) (2014)
Ryo Kashima
Completeness Proof by Semantic Diagrams for Transitive Closure of Accessibility Relation. Advances in Modal Logic (2010)
Ryo Kashima, Keishi Okamoto
General Models and Completeness of First-Order Modal µ-calculus. J. Log. Comput. 18 (4) (2008)
Ryo Ishigaki, Ryo Kashima
Sequent Calculi for Some Strict Implication Logics. Log. J. IGPL 16 (2) (2008)
Tatsuaki Okamoto, Ryo Kashima
Resource Bounded Unprovability of Computational Lower Bounds CoRR (2005)
Ryo Kashima
On semilattice relevant logics. Math. Log. Q. 49 (4) (2003)
Ichiro Hasuo, Ryo Kashima
Kripke Completeness of First-Order Constructive Logics with Strong Negation. Log. J. IGPL 11 (6) (2003)
Tatsuaki Okamoto, Ryo Kashima
Resource Bounded Unprovability of Computational Lower Bounds. IACR Cryptol. ePrint Arch. 2003 (2003)
Katsumasa Ishii, Ryo Kashima, Kentaro Kikuchi
Sequent Calculi for Visser's Propositional Logics. Notre Dame J. Formal Log. 42 (1) (2001)
Ryo Kashima
Completeness of Implicational Relevant Logics. Log. J. IGPL 8 (6) (2000)
Ryo Kashima, Norihiro Kamide
Substructural Implicational Logics Including the Relevant Logic E. Stud Logica 63 (2) (1999)
Ryo Kashima
Contraction-Elimination for Implicational Logics. Ann. Pure Appl. Log. 84 (1) (1997)
Takeshi Yamaguchi, Ryo Kashima
On the Difficulty of Writing Out Formal Proofs in Arithmetic. Math. Log. Q. 43 (1997)
Ryo Kashima
Cut-free sequent calculi for some tense logics. Stud Logica 53 (1) (1994)
Tatsuya Shimura, Ryo Kashima
Cut-Elimination Theorem for the Logic of Constant Domains. Math. Log. Q. 40 (1994)