| Proof theory of Nelson’s paraconsistent logic: A uniform perspective N Kamide, H Wansing Theoretical Computer Science 415, 1-38, 2012 | 66 | 2012 |
| Proof theory of N4-related paraconsistent logics N Kamide, H Wansing College Publications, 2015 | 53 | 2015 |
| Combining linear-time temporal logic with constructiveness and paraconsistency N Kamide, H Wansing Journal of Applied Logic 8 (1), 33-61, 2010 | 41 | 2010 |
| Linear and affine logics with temporal, spatial and epistemic operators N Kamide Theoretical Computer Science 353 (1-3), 165-207, 2006 | 31 | 2006 |
| Embedding from multilattice logic into classical logic and vice versa N Kamide, Y Shramko Journal of Logic and Computation 27 (5), 1549-1575, 2017 | 30 | 2017 |
| A paraconsistent linear-time temporal logic N Kamide, H Wansing Fundamenta Informaticae 106 (1), 1-23, 2011 | 29 | 2011 |
| Kripke semantics for modal substructural logics N Kamide Journal of Logic, Language and Information 11, 453-470, 2002 | 27 | 2002 |
| Paraconsistent double negations as classical and intuitionistic negations N Kamide Studia Logica 105 (6), 1167-1191, 2017 | 22 | 2017 |
| Extended full computation-tree logic with sequence modal operator: Representing hierarchical tree structures N Kamide, K Kaneiwa Australasian Joint Conference on Artificial Intelligence, 485-494, 2009 | 22 | 2009 |
| Sequence-indexed linear-time temporal logic: Proof system and application K Kaneiwa, N Kamide Applied Artificial Intelligence 24 (10), 896-913, 2010 | 21 | 2010 |
| Quantized linear logic, involutive quantales and strong negation N Kamide Studia Logica 77, 355-384, 2004 | 21 | 2004 |
| Substructural logics with mingle N Kamide Journal of Logic, Language and Information 11, 227-249, 2002 | 20 | 2002 |
| Inconsistency-tolerant temporal reasoning with hierarchical information N Kamide Information Sciences 320, 140-155, 2015 | 19 | 2015 |
| Natural deduction systems for Nelson's paraconsistent logic and its neighbors N Kamide Journal of Applied Non-Classical Logics 15 (4), 405-435, 2005 | 18 | 2005 |
| A hierarchy of weak double negations N Kamide Studia Logica 101 (6), 1277-1297, 2013 | 17 | 2013 |
| Paraconsistent computation tree logic K Kaneiwa, N Kamide New Generation Computing 29, 391-408, 2011 | 17 | 2011 |
| Conceptual modeling in full computation‐tree logic with sequence modal operator K Kaneiwa, N Kamide International Journal of Intelligent Systems 26 (7), 636-651, 2011 | 17 | 2011 |
| A canonical model construction for substructural logics with strong negation N Kamide Reports on Mathematical Logic 36 (95-116), 10, 2002 | 17 | 2002 |
| Sequential fuzzy description logic: Reasoning for fuzzy knowledge bases with sequential information N Kamide 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), 218-223, 2020 | 16 | 2020 |
| An equivalence between sequent calculi for linear-time temporal logic N Kamide Bulletin of the Section of the Logic 35 (4), 187-194, 2006 | 16 | 2006 |
