Actuality in Intuitionistic Logic. - Satoru Niki; Hitoshi Omori (AiML, 2020)

On Scott's semantics for many-valued logic. - Satoru Niki; Peter Schuster 001 (J. Log. Comput., 2020)

Decidable variables for constructive logics. - Satoru Niki (Math. Log. Q., 2020)

Subminimal Logics in Light of Vakarelov's Logic. - Satoru Niki (Stud Logica, 2020)

Semantics Matters: A New Light on Ontological Commitments of Logics. - Fumiaki Toyoshima; Satoru Niki (JOWO, 2021)

A note on Humberstone's constant Ω. - Satoru Niki; Hitoshi Omori (Reports Math. Log., 2021)

Intuitionistic Modality and Beth Semantics. - Satoru Niki (AiML, 2022)

Another Combination of Classical and Intuitionistic Conditionals. - Satoru Niki; Hitoshi Omori (NCL, 2022)

Investigations into intuitionistic and other negations. - Satoru Niki (Bull. Symb. Log., 2022)

Improving Strong Negation. - Satoru Niki (Rev. Symb. Log., 2023)

On the Provable Contradictions of the Connexive Logics C and C3. - Satoru Niki; Heinrich Wansing (J. Philos. Log., 2023)

Double Negation as Minimal Negation. - Satoru Niki (J. Log. Lang. Inf., 2023)

To Be More Concrete About Abstracta and Concreta. - Fumiaki Toyoshima; Satoru Niki (FOIS, 2024)

Kamide is in America, Moisil and Leitgeb are in Australia. - Satoru Niki; Hitoshi Omori (NCL, 2024)