| Actuality in Intuitionistic Logic. S Niki, H Omori AiML, 459-479, 2020 | 7 | 2020 |
| Another combination of classical and intuitionistic conditionals S Niki, H Omori arXiv preprint arXiv:2204.06730, 2022 | 6 | 2022 |
| Empirical negation, co-negation and contraposition rule I: Semantical investigations S Niki Bulletin of the Section of Logic 49 (3), 231-253, 2020 | 6 | 2020 |
| A note on Humberstone's constant Ω S Niki, H Omori Reports on Mathematical Logic 56, 2021 | 4 | 2021 |
| On the Provable Contradictions of the Connexive Logics C and C3 S Niki, H Wansing Journal of Philosophical Logic 52 (5), 1355-1383, 2023 | 3 | 2023 |
| Subminimal logics in light of Vakarelov’s logic S Niki Studia Logica 108 (5), 967-987, 2020 | 3 | 2020 |
| Empirical negation, co-negation and the contraposition rule II: Proof-theoretical investigations S Niki Bulletin of the Section of Logic 49 (4), 359-375, 2020 | 2 | 2020 |
| Improving strong negation S Niki The Review of Symbolic Logic 16 (3), 951-977, 2023 | 1 | 2023 |
| Semantics Matters: A New Light on Ontological Commitments of Logics. F Toyoshima, S Niki JOWO, 2021 | 1 | 2021 |
| Decidable variables for constructive logics S Niki Mathematical Logic Quarterly 66 (4), 484-493, 2020 | 1 | 2020 |
| On Scott’s semantics for many-valued logic S Niki, P Schuster Journal of Logic and Computation 30 (6), 1291-1302, 2020 | 1 | 2020 |
| Intuitionistic views on connexive constructible falsity S Niki | | 2024 |
| Double Negation as Minimal Negation S Niki Journal of Logic, Language and Information 32 (5), 861-886, 2023 | | 2023 |
| Intuitionistic Modality and Beth Semantics. S Niki AiML, 579-600, 2022 | | 2022 |
Hitoshi OmoriTohoku UniversityVerified email at tohoku.ac.jp
