Norihiro Kamide

159 papers B 6Misc 1Journal 98Unranked 54

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Cut Elimination and Normalization in Intermediate Connexive Logics. ISMVL Norihiro Kamide
2025	J	`jnl`	G3-style Sequent Calculi for Gurevich Logic and Its Neighbors. Stud Logica Norihiro Kamide, Sara Negri
2025	—	`conf`	Normalization Theorem for Extended Intuitionistic Belnap-Dunn Logic. ISMVL Norihiro Kamide
2025	J	`jnl`	Proof theory of Abelian connexive logics. J. Philos. Log. Norihiro Kamide
2025	J	`jnl`	Symmetric and conflated intuitionistic logics. Log. J. IGPL Norihiro Kamide
2024	—	`conf`	A Unified Gentzen-style Framework for Until-free LTL. NCL Norihiro Kamide, Sara Negri
2024	J	`jnl`	Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics. J. Log. Lang. Inf. Norihiro Kamide
2024	—	`conf`	Twist Sequent Calculi for S4 and its Neighbors. NCL Norihiro Kamide
2024	—	`conf`	Unified Gentzen Approach to Connexive Logics over Wansing's C. NCL Norihiro Kamide
2023	J	`jnl`	Embedding First-order Classical Logic into Gurevich's Extended First-order Intuitionistic Logic: The Role of Strong Negation. FLAP Norihiro Kamide
2023	J	`jnl`	Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5. J. Log. Lang. Inf. Norihiro Kamide
2023	—	`conf`	Natural Deduction with Explosion and Excluded Middle. ISMVL Norihiro Kamide
2023	J	`jnl`	Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic. Stud Logica Norihiro Kamide
2023	—	`conf`	Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic. ISMVL Norihiro Kamide
2022	J	`jnl`	An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi. Logica Universalis Norihiro Kamide
2022	J	`jnl`	Embedding Friendly First-Order Paradefinite and Connexive Logics. J. Philos. Log. Norihiro Kamide
2022	J	`jnl`	Falsification-Aware Semantics and Sequent Calculi for Classical Logic. J. Philos. Log. Norihiro Kamide
2022	J	`jnl`	Falsification-Aware Semantics for Temporal Logics and Their Inconsistency-Tolerant Subsystems: Theoretical Foundations of Falsification-Aware Model Checking. Int. J. Softw. Eng. Knowl. Eng. Norihiro Kamide
2022	—	`conf`	Falsification-aware Semantics for CTL and Its Inconsistency-tolerant Subsystem: Towards Falsification-aware Model Checking. ICAART (3) Norihiro Kamide, Seidai Kanbe
2022	—	`conf`	Falsification-aware Semantics for Description Logics. ISMVL Norihiro Kamide
2022	—	`conf`	Falsification-aware Twist Structures in Description Logic. ISMVL Norihiro Kamide
2022	J	`jnl`	Inconsistency-Tolerant Hierarchical Probabilistic CTL Model Checking: Logical Foundations and Illustrative Examples. Int. J. Softw. Eng. Knowl. Eng. Norihiro Kamide
2022	—	`conf`	Reasoning with Inconsistency-tolerant Fuzzy Description Logics. ICAART (3) Norihiro Kamide
2021	J	`jnl`	Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi. Stud Logica Norihiro Kamide
2021	—	`conf`	Inconsistency-tolerant Hierarchical Probabilistic Computation Tree Logic and Its Application to Model Checking. ICAART (2) Norihiro Kamide, Noriko Yamamoto
2021	J	`jnl`	Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems. J. Philos. Log. Norihiro Kamide
2021	J	`jnl`	Modal and Intuitionistic Variants of Extended Belnap-Dunn Logic with Classical Negation. J. Log. Lang. Inf. Norihiro Kamide
2021	—	`conf`	Notes on Avron's Self-extensional Four-valued Paradefinite Logic. ISMVL Norihiro Kamide
2021	—	`conf`	Symmetric Paraconsistent Quantum Logic. ISMVL Norihiro Kamide
2020	—	`conf`	An Extended Description Logic for Inconsistency-tolerant Ontological Reasoning with Sequential Information. ICAART (2) Norihiro Kamide
2020	J	`jnl`	Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic. Stud Logica Norihiro Kamide, Yoni Zohar
2020	—	`conf`	Completeness of Subtrilattice Logic. ISMVL Norihiro Kamide
2020	J	`jnl`	Correction to: Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion. J. Philos. Log. Norihiro Kamide
2020	J	`jnl`	Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation. FLAP Norihiro Kamide
2020	J	`jnl`	Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion. J. Philos. Log. Norihiro Kamide
2020	J	`jnl`	Modal extension of ideal paraconsistent four-valued logic and its subsystem. Ann. Pure Appl. Log. Norihiro Kamide, Yoni Zohar
2020	—	`conf`	Sequential Fuzzy Description Logic: Reasoning for Fuzzy Knowledge Bases with Sequential Information. ISMVL Norihiro Kamide
2020	J	`jnl`	Some Properties for First-order Nelsonian Paraconsistent Quantum Logic. FLAP Norihiro Kamide
2019	J	`jnl`	A Substructural View of Multilattice Logic. J. Multiple Valued Log. Soft Comput. Norihiro Kamide
2019	—	`conf`	An Extended Paradefinte Belnap-Dunn Logic that is Embeddable into Classical Logic and Vice Versa. ICAART (2) Norihiro Kamide
2019	—	`conf`	Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic. ISMVL Norihiro Kamide, Yoni Zohar
2019	—	`conf`	First-Order Nelsonian Paraconsistent Quantum Logic. ISMVL Norihiro Kamide
2019	J	`jnl`	Gentzen-Type Sequent Calculi for Extended Belnap-Dunn Logics with Classical Negation: A General Framework. Logica Universalis Norihiro Kamide
2019	—	`conf`	Towards Hierarchical Probabilistic CTL Model Checking: Theoretical Foundations. ICAART (2) Norihiro Kamide, Yuki Yano
2019	—	`conf`	Towards Locative Inconsistency-tolerant Hierarchical Probabilistic CTL Model Checking: Survey and Future Work. ICAART (2) Norihiro Kamide, Juan Pedro Altamirano Bernal
2019	J	`jnl`	Yet another paradefinite logic: The role of conflation1. Log. J. IGPL Norihiro Kamide, Yoni Zohar
2018	J	`jnl`	Decidable temporal and sequential relevant logics. J. Log. Comput. Norihiro Kamide
2018	J	`jnl`	Extending paraconsistent quantum logic: a single-antecedent/succedent system approach. Math. Log. Q. Norihiro Kamide
2018	—	`conf`	Foundations of Inconsistency-Tolerant Model Checking: Logics, Translations, and Examples. ICAART (Revised Selected Papers) Norihiro Kamide, Kazuki Endo
2018	J	`jnl`	Logical foundations of hierarchical model checking. Data Technol. Appl. Norihiro Kamide
2018	—	`conf`	Logics and Translations for Inconsistency-tolerant Model Checking. ICAART (2) Norihiro Kamide, Kazuki Endo
2018	J	`jnl`	Proof Theory of Paraconsistent Quantum Logic. J. Philos. Log. Norihiro Kamide
2017	—	`conf`	An Extended First-Order Belnap-Dunn Logic with Classical Negation. LORI Norihiro Kamide, Hitoshi Omori
2017	J	`jnl`	Embedding from multilattice logic into classical logic and vice versa. J. Log. Comput. Norihiro Kamide, Yaroslav Shramko
2017	—	`conf`	Extending Ideal Paraconsistent Four-Valued Logic. ISMVL Norihiro Kamide
2017	J	`jnl`	Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant. Stud Logica Norihiro Kamide, Yaroslav Shramko, Heinrich Wansing
2017	B	`conf`	Logics and translations for hierarchical model checking. KES Norihiro Kamide, Ryu Yano
2017	J	`jnl`	Logics with definitional reflection rules. J. Log. Comput. Norihiro Kamide
2017	J	`jnl`	Modal Multilattice Logic. Logica Universalis Norihiro Kamide, Yaroslav Shramko
2017	—	`conf`	Natural Deduction for Connexive Paraconsistent Quantum Logic. ISMVL Norihiro Kamide
2017	J	`jnl`	Paraconsistent Double Negations as Classical and Intuitionistic Negations. Stud Logica Norihiro Kamide
2017	J	`jnl`	Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning. Reports Math. Log. Norihiro Kamide
2017	—	`conf`	Phase Semantics for Multilattice Formalism. ISMVL Norihiro Kamide
2017	J	`jnl`	Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic. J. Log. Comput. Norihiro Kamide
2016	J	`jnl`	A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics. Math. Log. Q. Norihiro Kamide
2016	J	`jnl`	Bunched sequential information. J. Appl. Log. Norihiro Kamide
2016	J	`jnl`	Completeness of Connexive Heyting-Brouwer Logic. FLAP Norihiro Kamide, Heinrich Wansing
2016	—	`conf`	Cut-Free Systems for Restricted Bi-Intuitionistic Logic and Its Connexive Extension. ISMVL Norihiro Kamide
2016	—	`conf`	Duality in Some Intuitionistic Paraconsistent Logics. ICAART (2) Norihiro Kamide
2016	—	`conf`	Intuitionistic De Morgan Verification and Falsification Logics. ICAART (2) Norihiro Kamide
2016	J	`jnl`	Method for Combining Paraconsistency and Probability in Temporal Reasoning. J. Adv. Comput. Intell. Intell. Informatics Norihiro Kamide, Daiki Koizumi
2016	—	`conf`	Paraconsistent Double Negation That Can Simulate Classical Negation. ISMVL Norihiro Kamide
2016	J	`jnl`	Paraconsistent double negation as a modal operator. Math. Log. Q. Norihiro Kamide
2015	—	`conf`	A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning. LORI Norihiro Kamide
2015	—	`conf`	Combining Paraconsistency and Probability in CTL. ICAART (2) Norihiro Kamide, Daiki Koizumi
2015	J	`jnl`	Embedding theorems for LTL and its variants. Math. Struct. Comput. Sci. Norihiro Kamide
2015	—	`conf`	Inconsistency and Sequentiality in LTL. ICAART (2) Norihiro Kamide
2015	J	`jnl`	Inconsistency-tolerant temporal reasoning with hierarchical information. Inf. Sci. Norihiro Kamide
2015	J	`jnl`	Interpolation theorems for some variants of LTL. Reports Math. Log. Norihiro Kamide
2015	J	`jnl`	Reasoning in Medical and Tutoring Systems: A Decidable First-Order Temporal Paraconsistent Non-Commutative Logic. Int. J. Softw. Informatics Norihiro Kamide
2015	B	`conf`	Single-succedent System Approach to Boolean BI. KES Norihiro Kamide
2015	J	`jnl`	Trilattice logic: an embedding-based approach. J. Log. Comput. Norihiro Kamide
2014	J	`jnl`	An eight-valued praconsistent logic. Reports Math. Log. Norihiro Kamide
2014	J	`jnl`	Inconsistency-Tolerant Multi-Agent Calculus. Int. J. Uncertain. Fuzziness Knowl. Based Syst. Norihiro Kamide
2013	J	`jnl`	A Hierarchy of Weak Double Negations. Stud Logica Norihiro Kamide
2013	—	`conf`	Embedding-Based Methods for Trilattice Logic. ISMVL Norihiro Kamide
2013	B	`conf`	Formalizing Inconsistency-Tolerant Relevant Human Reasoning: A Decidable Paraconsistent Relevant Logic with Constructible Falsity. SMC Norihiro Kamide
2013	J	`jnl`	Inconsistency-Tolerant Bunched Implications. Int. J. Approx. Reason. Norihiro Kamide
2013	B	`conf`	Modeling and Verifying Inconsistency-Tolerant Temporal Reasoning with Hierarchical Information: Dealing with Students' Learning Processes. SMC Norihiro Kamide
2013	—	`conf`	On Natural Eight-Valued Reasoning. ISMVL Norihiro Kamide
2013	J	`jnl`	Reasoning about Resources and Information: A Linear Logic Approach. Fundam. Informaticae Norihiro Kamide, Ken Kaneiwa
2013	J	`jnl`	Representing any-time and program-iteration by infinitary conjunction. J. Appl. Non Class. Logics Norihiro Kamide
2013	J	`jnl`	Strong normalization in some temporal substructural logics. J. Log. Comput. Norihiro Kamide
2013	J	`jnl`	Temporal BI: Proof system, semantics and translations. Theor. Comput. Sci. Norihiro Kamide
2013	J	`jnl`	Temporal Gödel-Gentzen and Girard translations. Math. Log. Q. Norihiro Kamide
2013	B	`conf`	The Logic of Information Merge and Sequential Information. SMC Norihiro Kamide
2012	J	`jnl`	Bounded linear-time temporal logic: A proof-theoretic investigation. Ann. Pure Appl. Log. Norihiro Kamide
2012	J	`jnl`	Embedding-based approaches to paraconsistent and temporal description logics. J. Log. Comput. Norihiro Kamide
2012	J	`jnl`	Proof theory of Nelson's paraconsistent logic: A uniform perspective. Theor. Comput. Sci. Norihiro Kamide, Heinrich Wansing
2012	J	`jnl`	Reasoning about Time-Dependent Multi-agents: Foundations of Theorem Proving and Model Checking. Trans. Comput. Collect. Intell. Norihiro Kamide
2012	J	`jnl`	Strong normalization of a typed lambda calculus for intuitionistic bounded linear-time temporal logic. Reports Math. Log. Norihiro Kamide
2011	—	`conf`	A Decidable First-Order Logic for Medical Reasoning. KES (2) Norihiro Kamide
2011	J	`jnl`	A Paraconsistent Linear-time Temporal Logic. Fundam. Informaticae Norihiro Kamide, Heinrich Wansing
2011	J	`jnl`	A logic of sequences. Reports Math. Log. Norihiro Kamide
2011	J	`jnl`	Completeness and cut-elimination theorems for trilattice logics. Ann. Pure Appl. Log. Norihiro Kamide, Heinrich Wansing
2011	J	`jnl`	Concept Finding Proofs. J. Adv. Comput. Intell. Intell. Informatics Norihiro Kamide
2011	J	`jnl`	Conceptual modeling in full computation-tree logic with sequence modal operator. Int. J. Intell. Syst. Ken Kaneiwa, Norihiro Kamide
2011	—	`conf`	Interpolation Theorems for Some Extended Description Logics. KES (2) Norihiro Kamide
2011	J	`jnl`	Notes on Craig interpolation for LJ with strong negation. Math. Log. Q. Norihiro Kamide
2011	—	`conf`	On Temporal Gödel-Gentzen Translation. KES (2) Norihiro Kamide
2011	J	`jnl`	Paraconsistent Computation Tree Logic. New Gener. Comput. Ken Kaneiwa, Norihiro Kamide
2011	—	`conf`	Paraconsistent Semantics for Description Logics: A Comparison. KES (1) Norihiro Kamide
2011	J	`jnl`	Phase semantics for linear-time formalism. Log. J. IGPL Norihiro Kamide
2011	J	`jnl`	Synchronized Linear-Time Temporal Logic. Stud Logica Heinrich Wansing, Norihiro Kamide
2010	—	`conf`	A Compatible Approach to Temporal Description Logics. Description Logics Norihiro Kamide
2010	—	`conf`	A Logic for Conceptual Hierarchies. SBIA Norihiro Kamide
2010	—	`conf`	A Logic for Incomplete Sequential Information. KES (2) Norihiro Kamide
2010	—	`conf`	A Proof System for Temporal Reasoning with Sequential Information. SBIA Norihiro Kamide
2010	—	`conf`	A Proof System for Time-Dependent Multi-agents. KES (1) Norihiro Kamide
2010	—	`conf`	A Sequent Calculus for 3-Dimensional Space. SBIA Norihiro Kamide
2010	J	`jnl`	Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems. Reports Math. Log. Norihiro Kamide
2010	—	`conf`	Branching-time Versus Linear-time - A Cooperative and Feasible Approach. ICAART (1) Norihiro Kamide
2010	J	`jnl`	Combining linear-time temporal logic with constructiveness and paraconsistency. J. Appl. Log. Norihiro Kamide, Heinrich Wansing
2010	Misc	`conf`	Completeness for Generalized First-Order LTL. KI Norihiro Kamide
2010	J	`jnl`	Dynamic Non-Commutative Logic. J. Log. Lang. Inf. Norihiro Kamide
2010	J	`jnl`	Intuitionistic Trilattice Logics. J. Log. Comput. Heinrich Wansing, Norihiro Kamide
2010	—	`conf`	Paraconsistent Description Logics Revisited. Description Logics Norihiro Kamide
2010	—	`conf`	Paraconsistent Negation and Classical Negation in Computation Tree Logic. ICAART (1) Norihiro Kamide, Ken Kaneiwa
2010	—	`conf`	Reasoning about Bounded Time Domain - An Alternative to NP-Complete Fragments of LTL. ICAART (1) Norihiro Kamide
2010	—	`conf`	Resource-Sensitive Reasoning with Sequential Information. Australasian Conference on Artificial Intelligence Norihiro Kamide, Ken Kaneiwa
2010	J	`jnl`	Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application. Appl. Artif. Intell. Ken Kaneiwa, Norihiro Kamide
2009	—	`conf`	Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures. Australasian Conference on Artificial Intelligence Norihiro Kamide, Ken Kaneiwa
2009	J	`jnl`	Proof Systems Combining Classical and Paraconsistent Negations. Stud Logica Norihiro Kamide
2009	J	`jnl`	Sequent Calculi for some Trilattice Logics. Rev. Symb. Log. Norihiro Kamide, Heinrich Wansing
2008	—	`conf`	Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic. CLIMA Norihiro Kamide
2008	B	`conf`	Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials. JELIA Norihiro Kamide
2008	J	`jnl`	Strong Normalizability of Typed Lambda-Calculi for Substructural Logics. Logica Universalis Motohiko Mouri, Norihiro Kamide
2007	J	`jnl`	A Uniform Proof-theoretic Foundation for Abstract Paraconsistent Logic Programming. J. Funct. Log. Program. Norihiro Kamide
2007	J	`jnl`	Synthesized substructural logics. Math. Log. Q. Norihiro Kamide
2007	J	`jnl`	Towards a theory of resource: an approach based on soft exponentials. J. Appl. Non Class. Logics Norihiro Kamide
2006	J	`jnl`	Foundations of Paraconsistent Resolution. Fundam. Informaticae Norihiro Kamide
2006	J	`jnl`	Linear and affine logics with temporal, spatial and epistemic operators. Theor. Comput. Sci. Norihiro Kamide
2006	J	`jnl`	Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation. J. Log. Lang. Inf. Norihiro Kamide
2005	J	`jnl`	A spatial modal logic with a location interpretation. Math. Log. Q. Norihiro Kamide
2005	J	`jnl`	Gentzen-Type Methods for Bilattice Negation. Stud Logica Norihiro Kamide
2005	J	`jnl`	Linear Logics with Communication-merge. J. Log. Comput. Norihiro Kamide
2005	J	`jnl`	Natural deduction systems for Nelson's paraconsistent logic and its neighbors. J. Appl. Non Class. Logics Norihiro Kamide
2005	J	`jnl`	On a logic of involutive quantales. Math. Log. Q. Norihiro Kamide
2004	J	`jnl`	Combining Soft Linear Logic and Spatio-temporal Operators. J. Log. Comput. Norihiro Kamide
2004	J	`jnl`	Quantized Linear Logic, Involutive Quantales and Strong Negation. Stud Logica Norihiro Kamide
2003	J	`jnl`	A note on dual-intuitionistic logic. Math. Log. Q. Norihiro Kamide
2003	J	`jnl`	Classical linear logics with mix separation principle. Math. Log. Q. Norihiro Kamide
2003	J	`jnl`	Normal Modal Substructural Logics with Strong Negation. J. Philos. Log. Norihiro Kamide
2002	J	`jnl`	A Canonical Model Construction for Substructural Logics with Strong Negation. Reports Math. Log. Norihiro Kamide
2002	J	`jnl`	Kripke Semantics for Modal Substructural Logics. J. Log. Lang. Inf. Norihiro Kamide
2002	J	`jnl`	Relevance Principle for Substructural Logics with Mingle and Strong Negation. J. Log. Comput. Norihiro Kamide
2002	J	`jnl`	Sequent Calculi for Intuitionistic Linear Logic with Strong Negation. Log. J. IGPL Norihiro Kamide
2002	J	`jnl`	Substructural Logics with Mingle. J. Log. Lang. Inf. Norihiro Kamide
1999	J	`jnl`	Substructural Implicational Logics Including the Relevant Logic E. Stud Logica Ryo Kashima, Norihiro Kamide