| 2022 | ICAART | Reasoning with Inconsistency-tolerant Fuzzy Description Logics. | Norihiro Kamide |
| 2022 | ICAART | Falsification-aware Semantics for CTL and Its Inconsistency-tolerant Subsystem: Towards Falsification-aware Model Checking. | Norihiro Kamide, Seidai Kanbe |
| 2021 | ICAART | Inconsistency-tolerant Hierarchical Probabilistic Computation Tree Logic and Its Application to Model Checking. | Norihiro Kamide, Noriko Yamamoto |
| 2020 | ICAART | An Extended Description Logic for Inconsistency-tolerant Ontological Reasoning with Sequential Information. | Norihiro Kamide |
| 2019 | ICAART | An Extended Paradefinte Belnap-Dunn Logic that is Embeddable into Classical Logic and Vice Versa. | Norihiro Kamide |
| 2019 | ICAART | Towards Locative Inconsistency-tolerant Hierarchical Probabilistic CTL Model Checking: Survey and Future Work. | Norihiro Kamide, Juan Pedro Altamirano Bernal |
| 2019 | ICAART | Towards Hierarchical Probabilistic CTL Model Checking: Theoretical Foundations. | Norihiro Kamide, Yuki Yano |
| 2018 | ICAART | Logics and Translations for Inconsistency-tolerant Model Checking. | Norihiro Kamide, Kazuki Endo |
| 2018 | ICAART | Foundations of Inconsistency-Tolerant Model Checking: Logics, Translations, and Examples. | Norihiro Kamide, Kazuki Endo |
| 2017 | KES | Logics and translations for hierarchical model checking. | Norihiro Kamide, Ryu Yano |
| 2016 | ICAART | Intuitionistic De Morgan Verification and Falsification Logics. | Norihiro Kamide |
| 2016 | ICAART | Duality in Some Intuitionistic Paraconsistent Logics. | Norihiro Kamide |
| 2015 | ICAART | Inconsistency and Sequentiality in LTL. | Norihiro Kamide |
| 2015 | ICAART | Combining Paraconsistency and Probability in CTL. | Norihiro Kamide, Daiki Koizumi |
| 2015 | KES | Single-succedent System Approach to Boolean BI. | Norihiro Kamide |
| 2013 | SMC | The Logic of Information Merge and Sequential Information. | Norihiro Kamide |
| 2013 | SMC | Modeling and Verifying Inconsistency-Tolerant Temporal Reasoning with Hierarchical Information: Dealing with Students' Learning Processes. | Norihiro Kamide |
| 2013 | SMC | Formalizing Inconsistency-Tolerant Relevant Human Reasoning: A Decidable Paraconsistent Relevant Logic with Constructible Falsity. | Norihiro Kamide |
| 2011 | KES | Paraconsistent Semantics for Description Logics: A Comparison. | Norihiro Kamide |
| 2011 | KES | On Temporal Gdel-Gentzen Translation. | Norihiro Kamide |
| 2011 | KES | A Decidable First-Order Logic for Medical Reasoning. | Norihiro Kamide |
| 2011 | KES | Interpolation Theorems for Some Extended Description Logics. | Norihiro Kamide |
| 2010 | ICAART | Branching-time Versus Linear-time - A Cooperative and Feasible Approach. | Norihiro Kamide |
| 2010 | ICAART | Reasoning about Bounded Time Domain - An Alternative to NP-Complete Fragments of LTL. | Norihiro Kamide |
| 2010 | ICAART | Paraconsistent Negation and Classical Negation in Computation Tree Logic. | Norihiro Kamide, Ken Kaneiwa |
| 2010 | KES | A Proof System for Time-Dependent Multi-agents. | Norihiro Kamide |
| 2010 | KES | A Logic for Incomplete Sequential Information. | Norihiro Kamide |
| 2010 | KI | Completeness for Generalized First-Order LTL. | Norihiro Kamide |
| 2008 | JELIA | Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials. | Norihiro Kamide |