A Proof-Theoretic Analysis of the Meaning of a Formula in a Combination of Intuitionistic and Classical Propositional Logic. - Masanobu Toyooka (LENLS, 2022)

Combining First-Order Classical and Intuitionistic Logic. - Masanobu Toyooka; Katsuhiko Sano (NCL, 2022)

Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic. - Masanobu Toyooka; Katsuhiko Sano (CoRR, 2022)

Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation. - Masanobu Toyooka; Katsuhiko Sano (Stud Logica, 2024)