Norihiro Kamide

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 74

Top Venues

Publications

Norihiro Kamide
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. 33 (2) (2024)
Norihiro Kamide
Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic. ISMVL (2023)
Norihiro Kamide
Natural Deduction with Explosion and Excluded Middle. ISMVL (2023)
Norihiro Kamide
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5. J. Log. Lang. Inf. 32 (3) (2023)
Norihiro Kamide
Embedding First-order Classical Logic into Gurevich's Extended First-order Intuitionistic Logic: The Role of Strong Negation. FLAP 10 (6) (2023)
Norihiro Kamide
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic. Stud Logica 111 (6) (2023)
Norihiro Kamide
Falsification-Aware Semantics for Temporal Logics and Their Inconsistency-Tolerant Subsystems: Theoretical Foundations of Falsification-Aware Model Checking. Int. J. Softw. Eng. Knowl. Eng. 32 (7) (2022)
Norihiro Kamide
Reasoning with Inconsistency-tolerant Fuzzy Description Logics. ICAART (3) (2022)
Norihiro Kamide
Falsification-aware Semantics for Description Logics. ISMVL (2022)
Norihiro Kamide
Falsification-Aware Semantics and Sequent Calculi for Classical Logic. J. Philos. Log. 51 (1) (2022)
Norihiro Kamide
Inconsistency-Tolerant Hierarchical Probabilistic CTL Model Checking: Logical Foundations and Illustrative Examples. Int. J. Softw. Eng. Knowl. Eng. 32 (1) (2022)
Norihiro Kamide
Falsification-aware Twist Structures in Description Logic. ISMVL (2022)
Norihiro Kamide, Seidai Kanbe
Falsification-aware Semantics for CTL and Its Inconsistency-tolerant Subsystem: Towards Falsification-aware Model Checking. ICAART (3) (2022)
Norihiro Kamide
An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi. Logica Universalis 16 (3) (2022)
Norihiro Kamide
Embedding Friendly First-Order Paradefinite and Connexive Logics. J. Philos. Log. 51 (5) (2022)
Norihiro Kamide
Notes on Avron's Self-extensional Four-valued Paradefinite Logic. ISMVL (2021)
Norihiro Kamide
Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems. J. Philos. Log. 50 (4) (2021)
Norihiro Kamide
Modal and Intuitionistic Variants of Extended Belnap-Dunn Logic with Classical Negation. J. Log. Lang. Inf. 30 (3) (2021)
Norihiro Kamide
Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi. Stud Logica 109 (6) (2021)
Norihiro Kamide
Symmetric Paraconsistent Quantum Logic. ISMVL (2021)
Norihiro Kamide, Noriko Yamamoto
Inconsistency-tolerant Hierarchical Probabilistic Computation Tree Logic and Its Application to Model Checking. ICAART (2) (2021)
Norihiro Kamide
Sequential Fuzzy Description Logic: Reasoning for Fuzzy Knowledge Bases with Sequential Information. ISMVL (2020)
Norihiro Kamide
Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion. J. Philos. Log. 49 (6) (2020)
Norihiro Kamide
An Extended Description Logic for Inconsistency-tolerant Ontological Reasoning with Sequential Information. ICAART (2) (2020)
Norihiro Kamide
Completeness of Subtrilattice Logic. ISMVL (2020)
Norihiro Kamide, Yoni Zohar
Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic. Stud Logica 108 (3) (2020)
Norihiro Kamide, Yoni Zohar
Modal extension of ideal paraconsistent four-valued logic and its subsystem. Ann. Pure Appl. Log. 171 (10) (2020)
Norihiro Kamide
Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation. FLAP 8 (5) (2020)
Norihiro Kamide
Correction to: Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion. J. Philos. Log. 49 (6) (2020)
Norihiro Kamide
Some Properties for First-order Nelsonian Paraconsistent Quantum Logic. FLAP 7 (1) (2020)
Norihiro Kamide
Gentzen-Type Sequent Calculi for Extended Belnap-Dunn Logics with Classical Negation: A General Framework. Logica Universalis 13 (1) (2019)
Norihiro Kamide
An Extended Paradefinte Belnap-Dunn Logic that is Embeddable into Classical Logic and Vice Versa. ICAART (2) (2019)
Norihiro Kamide, Juan Pedro Altamirano Bernal
Towards Locative Inconsistency-tolerant Hierarchical Probabilistic CTL Model Checking: Survey and Future Work. ICAART (2) (2019)
Norihiro Kamide, Yuki Yano
Towards Hierarchical Probabilistic CTL Model Checking: Theoretical Foundations. ICAART (2) (2019)
Norihiro Kamide, Yoni Zohar
Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic. ISMVL (2019)
Norihiro Kamide
First-Order Nelsonian Paraconsistent Quantum Logic. ISMVL (2019)
Norihiro Kamide, Yoni Zohar
Yet another paradefinite logic: The role of conflation1. Log. J. IGPL 27 (1) (2019)
Norihiro Kamide
A Substructural View of Multilattice Logic. J. Multiple Valued Log. Soft Comput. 33 (3) (2019)
Norihiro Kamide
Logical foundations of hierarchical model checking. Data Technol. Appl. 52 (4) (2018)
Norihiro Kamide, Kazuki Endo
Logics and Translations for Inconsistency-tolerant Model Checking. ICAART (2) (2018)
Norihiro Kamide
Proof Theory of Paraconsistent Quantum Logic. J. Philos. Log. 47 (2) (2018)
Norihiro Kamide
Extending paraconsistent quantum logic: a single-antecedent/succedent system approach. Math. Log. Q. 64 (4-5) (2018)
Norihiro Kamide
Decidable temporal and sequential relevant logics. J. Log. Comput. 28 (2) (2018)
Norihiro Kamide, Kazuki Endo
Foundations of Inconsistency-Tolerant Model Checking: Logics, Translations, and Examples. ICAART (Revised Selected Papers) (2018)
Norihiro Kamide
Paraconsistent Double Negations as Classical and Intuitionistic Negations. Stud Logica 105 (6) (2017)
Norihiro Kamide, Yaroslav Shramko
Embedding from multilattice logic into classical logic and vice versa. J. Log. Comput. 27 (5) (2017)
Norihiro Kamide
Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning. Reports Math. Log. 52 (2017)
Norihiro Kamide
Logics with definitional reflection rules. J. Log. Comput. 27 (5) (2017)
Norihiro Kamide
Natural Deduction for Connexive Paraconsistent Quantum Logic. ISMVL (2017)
Norihiro Kamide, Yaroslav Shramko
Modal Multilattice Logic. Logica Universalis 11 (3) (2017)
Norihiro Kamide, Yaroslav Shramko, Heinrich Wansing
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant. Stud Logica 105 (6) (2017)
Norihiro Kamide, Hitoshi Omori
An Extended First-Order Belnap-Dunn Logic with Classical Negation. LORI (2017)
Norihiro Kamide
Extending Ideal Paraconsistent Four-Valued Logic. ISMVL (2017)
Norihiro Kamide
Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic. J. Log. Comput. 27 (7) (2017)
Norihiro Kamide
Phase Semantics for Multilattice Formalism. ISMVL (2017)
Norihiro Kamide, Ryu Yano
Logics and translations for hierarchical model checking. KES (2017)
Norihiro Kamide
Intuitionistic De Morgan Verification and Falsification Logics. ICAART (2) (2016)
Norihiro Kamide
Paraconsistent double negation as a modal operator. Math. Log. Q. 62 (6) (2016)
Norihiro Kamide, Heinrich Wansing
Completeness of Connexive Heyting-Brouwer Logic. FLAP 3 (3) (2016)
Norihiro Kamide
Bunched sequential information. J. Appl. Log. 15 (2016)
Norihiro Kamide, Daiki Koizumi
Method for Combining Paraconsistency and Probability in Temporal Reasoning. J. Adv. Comput. Intell. Intell. Informatics 20 (5) (2016)
Norihiro Kamide
Paraconsistent Double Negation That Can Simulate Classical Negation. ISMVL (2016)
Norihiro Kamide
Cut-Free Systems for Restricted Bi-Intuitionistic Logic and Its Connexive Extension. ISMVL (2016)
Norihiro Kamide
A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics. Math. Log. Q. 62 (3) (2016)
Norihiro Kamide
Duality in Some Intuitionistic Paraconsistent Logics. ICAART (2) (2016)
Norihiro Kamide
Inconsistency and Sequentiality in LTL. ICAART (2) (2015)
Norihiro Kamide
Single-succedent System Approach to Boolean BI. KES (2015)
Norihiro Kamide
Embedding theorems for LTL and its variants. Math. Struct. Comput. Sci. 25 (1) (2015)
Norihiro Kamide
Trilattice logic: an embedding-based approach. J. Log. Comput. 25 (3) (2015)
Norihiro Kamide
Interpolation theorems for some variants of LTL. Reports Math. Log. 50 (2015)
Norihiro Kamide
A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning. LORI (2015)
Norihiro Kamide
Reasoning in Medical and Tutoring Systems: A Decidable First-Order Temporal Paraconsistent Non-Commutative Logic. Int. J. Softw. Informatics 9 (1) (2015)
Norihiro Kamide
Inconsistency-tolerant temporal reasoning with hierarchical information. Inf. Sci. 320 (2015)
Norihiro Kamide, Daiki Koizumi
Combining Paraconsistency and Probability in CTL. ICAART (2) (2015)
Norihiro Kamide
An eight-valued praconsistent logic. Reports Math. Log. 49 (2014)
Norihiro Kamide
Inconsistency-Tolerant Multi-Agent Calculus. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 22 (6) (2014)
Norihiro Kamide
Inconsistency-Tolerant Bunched Implications. Int. J. Approx. Reason. 54 (2) (2013)
Norihiro Kamide
Temporal Gödel-Gentzen and Girard translations. Math. Log. Q. 59 (1-2) (2013)
Norihiro Kamide
A Hierarchy of Weak Double Negations. Stud Logica 101 (6) (2013)
Norihiro Kamide
Formalizing Inconsistency-Tolerant Relevant Human Reasoning: A Decidable Paraconsistent Relevant Logic with Constructible Falsity. SMC (2013)
Norihiro Kamide
Modeling and Verifying Inconsistency-Tolerant Temporal Reasoning with Hierarchical Information: Dealing with Students' Learning Processes. SMC (2013)
Norihiro Kamide
Temporal BI: Proof system, semantics and translations. Theor. Comput. Sci. 492 (2013)
Norihiro Kamide, Ken Kaneiwa
Reasoning about Resources and Information: A Linear Logic Approach. Fundam. Informaticae 125 (1) (2013)
Norihiro Kamide
Embedding-Based Methods for Trilattice Logic. ISMVL (2013)
Norihiro Kamide
The Logic of Information Merge and Sequential Information. SMC (2013)
Norihiro Kamide
Representing any-time and program-iteration by infinitary conjunction. J. Appl. Non Class. Logics 23 (3) (2013)
Norihiro Kamide
On Natural Eight-Valued Reasoning. ISMVL (2013)
Norihiro Kamide
Strong normalization in some temporal substructural logics. J. Log. Comput. 23 (1) (2013)
Norihiro Kamide
Bounded linear-time temporal logic: A proof-theoretic investigation. Ann. Pure Appl. Log. 163 (4) (2012)
Norihiro Kamide
Reasoning about Time-Dependent Multi-agents: Foundations of Theorem Proving and Model Checking. Trans. Comput. Collect. Intell. 6 (2012)
Norihiro Kamide
Embedding-based approaches to paraconsistent and temporal description logics. J. Log. Comput. 22 (5) (2012)
Norihiro Kamide, Heinrich Wansing
Proof theory of Nelson's paraconsistent logic: A uniform perspective. Theor. Comput. Sci. 415 (2012)
Norihiro Kamide
Strong normalization of a typed lambda calculus for intuitionistic bounded linear-time temporal logic. Reports Math. Log. 47 (2012)
Norihiro Kamide, Heinrich Wansing
Completeness and cut-elimination theorems for trilattice logics. Ann. Pure Appl. Log. 162 (10) (2011)
Heinrich Wansing, Norihiro Kamide
Synchronized Linear-Time Temporal Logic. Stud Logica 99 (1-3) (2011)
Norihiro Kamide
Paraconsistent Semantics for Description Logics: A Comparison. KES (1) (2011)
Norihiro Kamide
A logic of sequences. Reports Math. Log. 46 (2011)
Norihiro Kamide, Heinrich Wansing
A Paraconsistent Linear-time Temporal Logic. Fundam. Informaticae 106 (1) (2011)
Ken Kaneiwa, Norihiro Kamide
Conceptual modeling in full computation-tree logic with sequence modal operator. Int. J. Intell. Syst. 26 (7) (2011)
Norihiro Kamide
On Temporal Gödel-Gentzen Translation. KES (2) (2011)

Norihiro Kamide.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Norihiro Kamide