Substructural Implicational Logics Including the Relevant Logic E. - Ryo Kashima; Norihiro Kamide (Stud Logica, 1999)

Sequent Calculi for Intuitionistic Linear Logic with Strong Negation. - Norihiro Kamide (Log. J. IGPL, 2002)

Substructural Logics with Mingle. - Norihiro Kamide (J. Log. Lang. Inf., 2002)

Kripke Semantics for Modal Substructural Logics. - Norihiro Kamide (J. Log. Lang. Inf., 2002)

Relevance Principle for Substructural Logics with Mingle and Strong Negation. - Norihiro Kamide (J. Log. Comput., 2002)

A Canonical Model Construction for Substructural Logics with Strong Negation. - Norihiro Kamide (Reports Math. Log., 2002)

Normal Modal Substructural Logics with Strong Negation. - Norihiro Kamide (J. Philos. Log., 2003)

Classical linear logics with mix separation principle. - Norihiro Kamide (Math. Log. Q., 2003)

A note on dual-intuitionistic logic. - Norihiro Kamide (Math. Log. Q., 2003)

Combining Soft Linear Logic and Spatio-temporal Operators. - Norihiro Kamide (J. Log. Comput., 2004)

Quantized Linear Logic, Involutive Quantales and Strong Negation. - Norihiro Kamide (Stud Logica, 2004)

Natural deduction systems for Nelson's paraconsistent logic and its neighbors. - Norihiro Kamide (J. Appl. Non Class. Logics, 2005)

Linear Logics with Communication-merge. - Norihiro Kamide (J. Log. Comput., 2005)

A spatial modal logic with a location interpretation. - Norihiro Kamide (Math. Log. Q., 2005)

On a logic of involutive quantales. - Norihiro Kamide (Math. Log. Q., 2005)

Gentzen-Type Methods for Bilattice Negation. - Norihiro Kamide (Stud Logica, 2005)

Foundations of Paraconsistent Resolution. - Norihiro Kamide (Fundam. Informaticae, 2006)

Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation. - Norihiro Kamide (J. Log. Lang. Inf., 2006)

Linear and affine logics with temporal, spatial and epistemic operators. - Norihiro Kamide (Theor. Comput. Sci., 2006)

Towards a theory of resource: an approach based on soft exponentials. - Norihiro Kamide (J. Appl. Non Class. Logics, 2007)

A Uniform Proof-theoretic Foundation for Abstract Paraconsistent Logic Programming. - Norihiro Kamide (J. Funct. Log. Program., 2007)

Synthesized substructural logics. - Norihiro Kamide (Math. Log. Q., 2007)

Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic. - Norihiro Kamide (CLIMA, 2008)

Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials. - Norihiro Kamide (JELIA, 2008)

Strong Normalizability of Typed Lambda-Calculi for Substructural Logics. - Motohiko Mouri; Norihiro Kamide (Logica Universalis, 2008)

Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures. - Norihiro Kamide; Ken Kaneiwa (Australasian Conference on Artificial Intelligence, 2009)

Sequent Calculi for some Trilattice Logics. - Norihiro Kamide; Heinrich Wansing (Rev. Symb. Log., 2009)

Proof Systems Combining Classical and Paraconsistent Negations. - Norihiro Kamide (Stud Logica, 2009)

Resource-Sensitive Reasoning with Sequential Information. - Norihiro Kamide; Ken Kaneiwa (Australasian Conference on Artificial Intelligence, 2010)

Paraconsistent Description Logics Revisited. - Norihiro Kamide (Description Logics, 2010)

A Compatible Approach to Temporal Description Logics. - Norihiro Kamide (Description Logics, 2010)

Branching-time Versus Linear-time - A Cooperative and Feasible Approach. - Norihiro Kamide (ICAART (1), 2010)

Reasoning about Bounded Time Domain - An Alternative to NP-Complete Fragments of LTL. - Norihiro Kamide (ICAART (1), 2010)

Paraconsistent Negation and Classical Negation in Computation Tree Logic. - Norihiro Kamide; Ken Kaneiwa (ICAART (1), 2010)

A Proof System for Time-Dependent Multi-agents. - Norihiro Kamide (KES (1), 2010)

A Logic for Incomplete Sequential Information. - Norihiro Kamide (KES (2), 2010)

Completeness for Generalized First-Order LTL. - Norihiro Kamide (KI, 2010)

A Sequent Calculus for 3-Dimensional Space. - Norihiro Kamide (SBIA, 2010)

A Proof System for Temporal Reasoning with Sequential Information. - Norihiro Kamide (SBIA, 2010)

A Logic for Conceptual Hierarchies. - Norihiro Kamide (SBIA, 2010)

Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application. - Ken Kaneiwa; Norihiro Kamide (Appl. Artif. Intell., 2010)

Combining linear-time temporal logic with constructiveness and paraconsistency. - Norihiro Kamide; Heinrich Wansing (J. Appl. Log., 2010)

Dynamic Non-Commutative Logic. - Norihiro Kamide (J. Log. Lang. Inf., 2010)

Intuitionistic Trilattice Logics. - Heinrich Wansing; Norihiro Kamide (J. Log. Comput., 2010)

Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems. - Norihiro Kamide (Reports Math. Log., 2010)

Paraconsistent Semantics for Description Logics: A Comparison. - Norihiro Kamide (KES (1), 2011)

On Temporal Gödel-Gentzen Translation. - Norihiro Kamide (KES (2), 2011)

A Decidable First-Order Logic for Medical Reasoning. - Norihiro Kamide (KES (2), 2011)

Interpolation Theorems for Some Extended Description Logics. - Norihiro Kamide (KES (2), 2011)

Completeness and cut-elimination theorems for trilattice logics. - Norihiro Kamide; Heinrich Wansing (Ann. Pure Appl. Log., 2011)

A Paraconsistent Linear-time Temporal Logic. - Norihiro Kamide; Heinrich Wansing (Fundam. Informaticae, 2011)

Phase semantics for linear-time formalism. - Norihiro Kamide (Log. J. IGPL, 2011)

Conceptual modeling in full computation-tree logic with sequence modal operator. - Ken Kaneiwa; Norihiro Kamide (Int. J. Intell. Syst., 2011)

Concept Finding Proofs. - Norihiro Kamide (J. Adv. Comput. Intell. Intell. Informatics, 2011)

Notes on Craig interpolation for LJ with strong negation. - Norihiro Kamide (Math. Log. Q., 2011)

Paraconsistent Computation Tree Logic. - Ken Kaneiwa; Norihiro Kamide (New Gener. Comput., 2011)

A logic of sequences. - Norihiro Kamide (Reports Math. Log., 2011)

Synchronized Linear-Time Temporal Logic. - Heinrich Wansing; Norihiro Kamide (Stud Logica, 2011)

Bounded linear-time temporal logic: A proof-theoretic investigation. - Norihiro Kamide (Ann. Pure Appl. Log., 2012)

Embedding-based approaches to paraconsistent and temporal description logics. - Norihiro Kamide (J. Log. Comput., 2012)

Strong normalization of a typed lambda calculus for intuitionistic bounded linear-time temporal logic. - Norihiro Kamide (Reports Math. Log., 2012)

Reasoning about Time-Dependent Multi-agents: Foundations of Theorem Proving and Model Checking. - Norihiro Kamide (Trans. Comput. Collect. Intell., 2012)

Proof theory of Nelson's paraconsistent logic: A uniform perspective. - Norihiro Kamide; Heinrich Wansing (Theor. Comput. Sci., 2012)

On Natural Eight-Valued Reasoning. - Norihiro Kamide (ISMVL, 2013)

Embedding-Based Methods for Trilattice Logic. - Norihiro Kamide (ISMVL, 2013)

The Logic of Information Merge and Sequential Information. - Norihiro Kamide (SMC, 2013)

Modeling and Verifying Inconsistency-Tolerant Temporal Reasoning with Hierarchical Information: Dealing with Students' Learning Processes. - Norihiro Kamide (SMC, 2013)

Formalizing Inconsistency-Tolerant Relevant Human Reasoning: A Decidable Paraconsistent Relevant Logic with Constructible Falsity. - Norihiro Kamide (SMC, 2013)

Reasoning about Resources and Information: A Linear Logic Approach. - Norihiro Kamide; Ken Kaneiwa (Fundam. Informaticae, 2013)

Inconsistency-Tolerant Bunched Implications. - Norihiro Kamide (Int. J. Approx. Reason., 2013)

Representing any-time and program-iteration by infinitary conjunction. - Norihiro Kamide (J. Appl. Non Class. Logics, 2013)

Strong normalization in some temporal substructural logics. - Norihiro Kamide (J. Log. Comput., 2013)

Temporal Gödel-Gentzen and Girard translations. - Norihiro Kamide (Math. Log. Q., 2013)

A Hierarchy of Weak Double Negations. - Norihiro Kamide (Stud Logica, 2013)

Temporal BI: Proof system, semantics and translations. - Norihiro Kamide (Theor. Comput. Sci., 2013)

Inconsistency-Tolerant Multi-Agent Calculus. - Norihiro Kamide (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2014)

An eight-valued praconsistent logic. - Norihiro Kamide (Reports Math. Log., 2014)

Inconsistency and Sequentiality in LTL. - Norihiro Kamide (ICAART (2), 2015)

Combining Paraconsistency and Probability in CTL. - Norihiro Kamide; Daiki Koizumi (ICAART (2), 2015)

Single-succedent System Approach to Boolean BI. - Norihiro Kamide (KES, 2015)

A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning. - Norihiro Kamide (LORI, 2015)

Reasoning in Medical and Tutoring Systems: A Decidable First-Order Temporal Paraconsistent Non-Commutative Logic. - Norihiro Kamide (Int. J. Softw. Informatics, 2015)

Inconsistency-tolerant temporal reasoning with hierarchical information. - Norihiro Kamide (Inf. Sci., 2015)

Trilattice logic: an embedding-based approach. - Norihiro Kamide (J. Log. Comput., 2015)

Embedding theorems for LTL and its variants. - Norihiro Kamide (Math. Struct. Comput. Sci., 2015)

Interpolation theorems for some variants of LTL. - Norihiro Kamide (Reports Math. Log., 2015)

Intuitionistic De Morgan Verification and Falsification Logics. - Norihiro Kamide (ICAART (2), 2016)

Duality in Some Intuitionistic Paraconsistent Logics. - Norihiro Kamide (ICAART (2), 2016)

Paraconsistent Double Negation That Can Simulate Classical Negation. - Norihiro Kamide (ISMVL, 2016)

Cut-Free Systems for Restricted Bi-Intuitionistic Logic and Its Connexive Extension. - Norihiro Kamide (ISMVL, 2016)

Completeness of Connexive Heyting-Brouwer Logic. - Norihiro Kamide; Heinrich Wansing (FLAP, 2016)

Method for Combining Paraconsistency and Probability in Temporal Reasoning. - Norihiro Kamide; Daiki Koizumi (J. Adv. Comput. Intell. Intell. Informatics, 2016)

Bunched sequential information. - Norihiro Kamide (J. Appl. Log., 2016)

A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics. - Norihiro Kamide (Math. Log. Q., 2016)

Paraconsistent double negation as a modal operator. - Norihiro Kamide (Math. Log. Q., 2016)

Phase Semantics for Multilattice Formalism. - Norihiro Kamide (ISMVL, 2017)

Extending Ideal Paraconsistent Four-Valued Logic. - Norihiro Kamide (ISMVL, 2017)

Natural Deduction for Connexive Paraconsistent Quantum Logic. - Norihiro Kamide (ISMVL, 2017)

Logics and translations for hierarchical model checking. - Norihiro Kamide; Ryu Yano (KES, 2017)

An Extended First-Order Belnap-Dunn Logic with Classical Negation. - Norihiro Kamide; Hitoshi Omori (LORI, 2017)

Logics with definitional reflection rules. - Norihiro Kamide (J. Log. Comput., 2017)

Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic. - Norihiro Kamide (J. Log. Comput., 2017)

Embedding from multilattice logic into classical logic and vice versa. - Norihiro Kamide; Yaroslav Shramko (J. Log. Comput., 2017)

Modal Multilattice Logic. - Norihiro Kamide; Yaroslav Shramko (Logica Universalis, 2017)

Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning. - Norihiro Kamide (Reports Math. Log., 2017)

Paraconsistent Double Negations as Classical and Intuitionistic Negations. - Norihiro Kamide (Stud Logica, 2017)

Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant. - Norihiro Kamide; Yaroslav Shramko; Heinrich Wansing (Stud Logica, 2017)

Logics and Translations for Inconsistency-tolerant Model Checking. - Norihiro Kamide; Kazuki Endo (ICAART (2), 2018)

Foundations of Inconsistency-Tolerant Model Checking: Logics, Translations, and Examples. - Norihiro Kamide; Kazuki Endo (ICAART (Revised Selected Papers), 2018)

Proof Theory of Paraconsistent Quantum Logic. - Norihiro Kamide (J. Philos. Log., 2018)

Decidable temporal and sequential relevant logics. - Norihiro Kamide (J. Log. Comput., 2018)

Extending paraconsistent quantum logic: a single-antecedent/succedent system approach. - Norihiro Kamide (Math. Log. Q., 2018)

Logical foundations of hierarchical model checking. - Norihiro Kamide (Data Technol. Appl., 2018)

An Extended Paradefinte Belnap-Dunn Logic that is Embeddable into Classical Logic and Vice Versa. - Norihiro Kamide (ICAART (2), 2019)

Towards Locative Inconsistency-tolerant Hierarchical Probabilistic CTL Model Checking: Survey and Future Work. - Norihiro Kamide; Juan Pedro Altamirano Bernal (ICAART (2), 2019)

Towards Hierarchical Probabilistic CTL Model Checking: Theoretical Foundations. - Norihiro Kamide; Yuki Yano (ICAART (2), 2019)

First-Order Nelsonian Paraconsistent Quantum Logic. - Norihiro Kamide (ISMVL, 2019)

Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic. - Norihiro Kamide; Yoni Zohar (ISMVL, 2019)

Yet another paradefinite logic: The role of conflation1. - Norihiro Kamide; Yoni Zohar (Log. J. IGPL, 2019)

Gentzen-Type Sequent Calculi for Extended Belnap-Dunn Logics with Classical Negation: A General Framework. - Norihiro Kamide (Logica Universalis, 2019)

A Substructural View of Multilattice Logic. - Norihiro Kamide (J. Multiple Valued Log. Soft Comput., 2019)

An Extended Description Logic for Inconsistency-tolerant Ontological Reasoning with Sequential Information. - Norihiro Kamide (ICAART (2), 2020)

Sequential Fuzzy Description Logic: Reasoning for Fuzzy Knowledge Bases with Sequential Information. - Norihiro Kamide (ISMVL, 2020)

Completeness of Subtrilattice Logic. - Norihiro Kamide (ISMVL, 2020)

Modal extension of ideal paraconsistent four-valued logic and its subsystem. - Norihiro Kamide; Yoni Zohar (Ann. Pure Appl. Log., 2020)

Some Properties for First-order Nelsonian Paraconsistent Quantum Logic. - Norihiro Kamide (FLAP, 2020)

Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation. - Norihiro Kamide (FLAP, 2020)

Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion. - Norihiro Kamide (J. Philos. Log., 2020)

Correction to: Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion. - Norihiro Kamide (J. Philos. Log., 2020)

Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic. - Norihiro Kamide; Yoni Zohar (Stud Logica, 2020)

Inconsistency-tolerant Hierarchical Probabilistic Computation Tree Logic and Its Application to Model Checking. - Norihiro Kamide; Noriko Yamamoto (ICAART (2), 2021)

Symmetric Paraconsistent Quantum Logic. - Norihiro Kamide (ISMVL, 2021)

Notes on Avron's Self-extensional Four-valued Paradefinite Logic. - Norihiro Kamide (ISMVL, 2021)

Modal and Intuitionistic Variants of Extended Belnap-Dunn Logic with Classical Negation. - Norihiro Kamide (J. Log. Lang. Inf., 2021)

Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems. - Norihiro Kamide (J. Philos. Log., 2021)

Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi. - Norihiro Kamide (Stud Logica, 2021)

Reasoning with Inconsistency-tolerant Fuzzy Description Logics. - Norihiro Kamide (ICAART (3), 2022)

Falsification-aware Semantics for CTL and Its Inconsistency-tolerant Subsystem: Towards Falsification-aware Model Checking. - Norihiro Kamide; Seidai Kanbe (ICAART (3), 2022)

Falsification-aware Semantics for Description Logics. - Norihiro Kamide (ISMVL, 2022)

Falsification-aware Twist Structures in Description Logic. - Norihiro Kamide (ISMVL, 2022)

Inconsistency-Tolerant Hierarchical Probabilistic CTL Model Checking: Logical Foundations and Illustrative Examples. - Norihiro Kamide (Int. J. Softw. Eng. Knowl. Eng., 2022)

Falsification-Aware Semantics for Temporal Logics and Their Inconsistency-Tolerant Subsystems: Theoretical Foundations of Falsification-Aware Model Checking. - Norihiro Kamide (Int. J. Softw. Eng. Knowl. Eng., 2022)

Falsification-Aware Semantics and Sequent Calculi for Classical Logic. - Norihiro Kamide (J. Philos. Log., 2022)

Embedding Friendly First-Order Paradefinite and Connexive Logics. - Norihiro Kamide (J. Philos. Log., 2022)

An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi. - Norihiro Kamide (Logica Universalis, 2022)

Natural Deduction with Explosion and Excluded Middle. - Norihiro Kamide (ISMVL, 2023)

Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic. - Norihiro Kamide (ISMVL, 2023)

Embedding First-order Classical Logic into Gurevich's Extended First-order Intuitionistic Logic: The Role of Strong Negation. - Norihiro Kamide (FLAP, 2023)

Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5. - Norihiro Kamide (J. Log. Lang. Inf., 2023)

Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic. - Norihiro Kamide (Stud Logica, 2023)

Twist Sequent Calculi for S4 and its Neighbors. - Norihiro Kamide (NCL, 2024)

A Unified Gentzen-style Framework for Until-free LTL. - Norihiro Kamide; Sara Negri (NCL, 2024)

Unified Gentzen Approach to Connexive Logics over Wansing's C. - Norihiro Kamide (NCL, 2024)

Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics. - Norihiro Kamide (J. Log. Lang. Inf., 2024)

Cut Elimination and Normalization in Intermediate Connexive Logics. - Norihiro Kamide (ISMVL, 2025)

Normalization Theorem for Extended Intuitionistic Belnap-Dunn Logic. - Norihiro Kamide (ISMVL, 2025)

Symmetric and conflated intuitionistic logics. - Norihiro Kamide (Log. J. IGPL, 2025)

Proof theory of Abelian connexive logics. - Norihiro Kamide (J. Philos. Log., 2025)

G3-style Sequent Calculi for Gurevich Logic and Its Neighbors. - Norihiro Kamide; Sara Negri (Stud Logica, 2025)