5 citations · 5 across the 4 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
Undecidability of Linear Logics without Weakening
Jun Suzuki, Katsuhiko Sano
The goal of this paper is to establish that it remains undecidable whether a sequent is provable in two systems in which a weakening rule for an exponential modality is completely…
cs.LO2025
Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity
Tadeusz Litak, Katsuhiko Sano
Propositional inquisitive logic is the limit of its -bounded approximations. In the predicate setting, however, this does not hold anymore, as discovered by Ciardelli and Grille…