1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2026★ 1 cited
Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
Ryota Kojima, Corina Cirstea
We introduce continuation semantics for both fixpoint modal logic (FML) and Computation Tree Logic* (CTL*), parameterised by a choice of branching type and quantitative predicate l…
quant-ph2025
Orbital-rotated Fermi-Hubbard model as a benchmarking problem for quantum chemistry with the exact solution
Ryota Kojima, Masahiko Kamoshita, Keita Kanno
Quantum chemistry is a key target for quantum computing, but benchmarking quantum algorithms for large molecular systems remains challenging due to the lack of exactly solvable yet…