Ryo Kashima

19 papers B 1Journal 17Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Cut-Free Sequent Calculi for the Provability Logic d.
Rev. Symb. Log.
Ryo Kashima, Taishi Kurahashi, Sohei Iwata, So Morioka
2024 — conf
Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents.
NCL
Akinori Maniwa, Ryo Kashima
2020 J jnl
On the completeness and the decidability of strictly monadic second-order logic.
Math. Log. Q.
Kento Takagi, Ryo Kashima
2015 J jnl
Reduction Rules for Intuitionistic λρ-calculus.
Stud Logica
Ken-etsu Fujita, Ryo Kashima, Yuichi Komori, Naosuke Matsuda
2014 J jnl
An axiomatization of ECTL.
J. Log. Comput.
Ryo Kashima
2010 B conf
Completeness Proof by Semantic Diagrams for Transitive Closure of Accessibility Relation.
Advances in Modal Logic
Ryo Kashima
2008 J jnl
General Models and Completeness of First-Order Modal µ-calculus.
J. Log. Comput.
Ryo Kashima, Keishi Okamoto
2008 J jnl
Sequent Calculi for Some Strict Implication Logics.
Log. J. IGPL
Ryo Ishigaki, Ryo Kashima
2005 J jnl
Resource Bounded Unprovability of Computational Lower Bounds
CoRR
Tatsuaki Okamoto, Ryo Kashima
2003 J jnl
Kripke Completeness of First-Order Constructive Logics with Strong Negation.
Log. J. IGPL
Ichiro Hasuo, Ryo Kashima
2003 J jnl
On semilattice relevant logics.
Math. Log. Q.
Ryo Kashima
2003 J jnl
Resource Bounded Unprovability of Computational Lower Bounds.
IACR Cryptol. ePrint Arch.
Tatsuaki Okamoto, Ryo Kashima
2001 J jnl
Sequent Calculi for Visser's Propositional Logics.
Notre Dame J. Formal Log.
Katsumasa Ishii, Ryo Kashima, Kentaro Kikuchi
2000 J jnl
Completeness of Implicational Relevant Logics.
Log. J. IGPL
Ryo Kashima
1999 J jnl
Substructural Implicational Logics Including the Relevant Logic E.
Stud Logica
Ryo Kashima, Norihiro Kamide
1997 J jnl
Contraction-Elimination for Implicational Logics.
Ann. Pure Appl. Log.
Ryo Kashima
1997 J jnl
On the Difficulty of Writing Out Formal Proofs in Arithmetic.
Math. Log. Q.
Takeshi Yamaguchi, Ryo Kashima
1994 J jnl
Cut-Elimination Theorem for the Logic of Constant Domains.
Math. Log. Q.
Tatsuya Shimura, Ryo Kashima
1994 J jnl
Cut-free sequent calculi for some tense logics.
Stud Logica
Ryo Kashima