The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Norihiro Kamide" ( http://dblp.L3S.de/Authors/Norihiro_Kamide )

  Author page on DBLP  Author page in RDF  Community of Norihiro Kamide in ASPL-2

Publication years (Num. hits)
1999-2005 (16) 2006-2010 (29) 2011-2012 (18) 2013-2015 (23) 2016-2017 (21) 2018-2020 (23) 2021-2022 (15)
Publication types (Num. hits)
article(90) inproceedings(55)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 7 keywords

Results
Found 146 publication records. Showing 145 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Norihiro Kamide Falsification-Aware Semantics and Sequent Calculi for Classical Logic. Search on Bibsonomy J. Philos. Log. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Embedding Friendly First-Order Paradefinite and Connexive Logics. Search on Bibsonomy J. Philos. Log. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi. Search on Bibsonomy Logica Universalis The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Inconsistency-Tolerant Hierarchical Probabilistic CTL Model Checking: Logical Foundations and Illustrative Examples. Search on Bibsonomy Int. J. Softw. Eng. Knowl. Eng. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Falsification-Aware Semantics for Temporal Logics and Their Inconsistency-Tolerant Subsystems: Theoretical Foundations of Falsification-Aware Model Checking. Search on Bibsonomy Int. J. Softw. Eng. Knowl. Eng. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Reasoning with Inconsistency-tolerant Fuzzy Description Logics. Search on Bibsonomy ICAART (3) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide, Seidai Kanbe Falsification-aware Semantics for CTL and Its Inconsistency-tolerant Subsystem: Towards Falsification-aware Model Checking. Search on Bibsonomy ICAART (3) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Falsification-aware Semantics for Description Logics. Search on Bibsonomy ISMVL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Falsification-aware Twist Structures in Description Logic. Search on Bibsonomy ISMVL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems. Search on Bibsonomy J. Philos. Log. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi. Search on Bibsonomy Stud Logica The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Modal and Intuitionistic Variants of Extended Belnap-Dunn Logic with Classical Negation. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide, Noriko Yamamoto Inconsistency-tolerant Hierarchical Probabilistic Computation Tree Logic and Its Application to Model Checking. Search on Bibsonomy ICAART (2) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Symmetric Paraconsistent Quantum Logic. Search on Bibsonomy ISMVL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Notes on Avron's Self-extensional Four-valued Paradefinite Logic. Search on Bibsonomy ISMVL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Some Properties for First-order Nelsonian Paraconsistent Quantum Logic. Search on Bibsonomy FLAP The full citation details ... 2020 DBLP  BibTeX  RDF
1Norihiro Kamide Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation. Search on Bibsonomy FLAP The full citation details ... 2020 DBLP  BibTeX  RDF
1Norihiro Kamide Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion. Search on Bibsonomy J. Philos. Log. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Correction to: Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion. Search on Bibsonomy J. Philos. Log. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide, Yoni Zohar Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic. Search on Bibsonomy Stud Logica The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide, Yoni Zohar Modal extension of ideal paraconsistent four-valued logic and its subsystem. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide An Extended Description Logic for Inconsistency-tolerant Ontological Reasoning with Sequential Information. Search on Bibsonomy ICAART (2) The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Sequential Fuzzy Description Logic: Reasoning for Fuzzy Knowledge Bases with Sequential Information. Search on Bibsonomy ISMVL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Completeness of Subtrilattice Logic. Search on Bibsonomy ISMVL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide A Substructural View of Multilattice Logic. Search on Bibsonomy J. Multiple Valued Log. Soft Comput. The full citation details ... 2019 DBLP  BibTeX  RDF
1Norihiro Kamide Gentzen-Type Sequent Calculi for Extended Belnap-Dunn Logics with Classical Negation: A General Framework. Search on Bibsonomy Logica Universalis The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide, Yoni Zohar Yet another paradefinite logic: The role of conflation1. Search on Bibsonomy Log. J. IGPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide, Juan Pedro Altamirano Bernal Towards Locative Inconsistency-tolerant Hierarchical Probabilistic CTL Model Checking: Survey and Future Work. Search on Bibsonomy ICAART (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide An Extended Paradefinte Belnap-Dunn Logic that is Embeddable into Classical Logic and Vice Versa. Search on Bibsonomy ICAART (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide, Yuki Yano Towards Hierarchical Probabilistic CTL Model Checking: Theoretical Foundations. Search on Bibsonomy ICAART (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide, Yoni Zohar Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic. Search on Bibsonomy ISMVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide First-Order Nelsonian Paraconsistent Quantum Logic. Search on Bibsonomy ISMVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Extending paraconsistent quantum logic: a single-antecedent/succedent system approach. Search on Bibsonomy Math. Log. Q. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Proof Theory of Paraconsistent Quantum Logic. Search on Bibsonomy J. Philos. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Logical foundations of hierarchical model checking. Search on Bibsonomy Data Technol. Appl. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Decidable temporal and sequential relevant logics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide, Kazuki Endo Foundations of Inconsistency-Tolerant Model Checking: Logics, Translations, and Examples. Search on Bibsonomy ICAART (Revised Selected Papers) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide, Kazuki Endo Logics and Translations for Inconsistency-tolerant Model Checking. Search on Bibsonomy ICAART (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide, Yaroslav Shramko, Heinrich Wansing Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant. Search on Bibsonomy Stud Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Paraconsistent Double Negations as Classical and Intuitionistic Negations. Search on Bibsonomy Stud Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide, Yaroslav Shramko Modal Multilattice Logic. Search on Bibsonomy Logica Universalis The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning. Search on Bibsonomy Reports Math. Log. The full citation details ... 2017 DBLP  BibTeX  RDF
1Norihiro Kamide Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide, Yaroslav Shramko Embedding from multilattice logic into classical logic and vice versa. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Logics with definitional reflection rules. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide, Hitoshi Omori An Extended First-Order Belnap-Dunn Logic with Classical Negation. Search on Bibsonomy LORI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide, Ryu Yano Logics and translations for hierarchical model checking. Search on Bibsonomy KES The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Extending Ideal Paraconsistent Four-Valued Logic. Search on Bibsonomy ISMVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Natural Deduction for Connexive Paraconsistent Quantum Logic. Search on Bibsonomy ISMVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Phase Semantics for Multilattice Formalism. Search on Bibsonomy ISMVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide, Heinrich Wansing Completeness of Connexive Heyting-Brouwer Logic. Search on Bibsonomy FLAP The full citation details ... 2016 DBLP  BibTeX  RDF
1Norihiro Kamide Paraconsistent double negation as a modal operator. Search on Bibsonomy Math. Log. Q. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics. Search on Bibsonomy Math. Log. Q. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Bunched sequential information. Search on Bibsonomy J. Appl. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide, Daiki Koizumi Method for Combining Paraconsistency and Probability in Temporal Reasoning. Search on Bibsonomy J. Adv. Comput. Intell. Intell. Informatics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Duality in Some Intuitionistic Paraconsistent Logics. Search on Bibsonomy ICAART (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Intuitionistic De Morgan Verification and Falsification Logics. Search on Bibsonomy ICAART (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Cut-Free Systems for Restricted Bi-Intuitionistic Logic and Its Connexive Extension. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Paraconsistent Double Negation That Can Simulate Classical Negation. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Inconsistency-tolerant temporal reasoning with hierarchical information. Search on Bibsonomy Inf. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Embedding theorems for LTL and its variants. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Reasoning in Medical and Tutoring Systems: A Decidable First-Order Temporal Paraconsistent Non-Commutative Logic. Search on Bibsonomy Int. J. Softw. Informatics The full citation details ... 2015 DBLP  BibTeX  RDF
1Norihiro Kamide Interpolation theorems for some variants of LTL. Search on Bibsonomy Reports Math. Log. The full citation details ... 2015 DBLP  BibTeX  RDF
1Norihiro Kamide Trilattice logic: an embedding-based approach. Search on Bibsonomy J. Log. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning. Search on Bibsonomy LORI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Single-succedent System Approach to Boolean BI. Search on Bibsonomy KES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Inconsistency and Sequentiality in LTL. Search on Bibsonomy ICAART (2) The full citation details ... 2015 DBLP  BibTeX  RDF
1Norihiro Kamide, Daiki Koizumi Combining Paraconsistency and Probability in CTL. Search on Bibsonomy ICAART (2) The full citation details ... 2015 DBLP  BibTeX  RDF
1Norihiro Kamide Inconsistency-Tolerant Multi-Agent Calculus. Search on Bibsonomy Int. J. Uncertain. Fuzziness Knowl. Based Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide An eight-valued praconsistent logic. Search on Bibsonomy Reports Math. Log. The full citation details ... 2014 DBLP  BibTeX  RDF
1Norihiro Kamide, Ken Kaneiwa Reasoning about Resources and Information: A Linear Logic Approach. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Inconsistency-Tolerant Bunched Implications. Search on Bibsonomy Int. J. Approx. Reason. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Temporal Gödel-Gentzen and Girard translations. Search on Bibsonomy Math. Log. Q. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Temporal BI: Proof system, semantics and translations. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide A Hierarchy of Weak Double Negations. Search on Bibsonomy Stud Logica The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Representing any-time and program-iteration by infinitary conjunction. Search on Bibsonomy J. Appl. Non Class. Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Strong normalization in some temporal substructural logics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Modeling and Verifying Inconsistency-Tolerant Temporal Reasoning with Hierarchical Information: Dealing with Students' Learning Processes. Search on Bibsonomy SMC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Formalizing Inconsistency-Tolerant Relevant Human Reasoning: A Decidable Paraconsistent Relevant Logic with Constructible Falsity. Search on Bibsonomy SMC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide The Logic of Information Merge and Sequential Information. Search on Bibsonomy SMC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Embedding-Based Methods for Trilattice Logic. Search on Bibsonomy ISMVL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide On Natural Eight-Valued Reasoning. Search on Bibsonomy ISMVL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Reasoning about Time-Dependent Multi-agents: Foundations of Theorem Proving and Model Checking. Search on Bibsonomy Trans. Comput. Collect. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide, Heinrich Wansing Proof theory of Nelson's paraconsistent logic: A uniform perspective. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Strong normalization of a typed lambda calculus for intuitionistic bounded linear-time temporal logic. Search on Bibsonomy Reports Math. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Norihiro Kamide Bounded linear-time temporal logic: A proof-theoretic investigation. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Embedding-based approaches to paraconsistent and temporal description logics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide, Heinrich Wansing A Paraconsistent Linear-time Temporal Logic. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ken Kaneiwa, Norihiro Kamide Conceptual modeling in full computation-tree logic with sequence modal operator. Search on Bibsonomy Int. J. Intell. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ken Kaneiwa, Norihiro Kamide Paraconsistent Computation Tree Logic. Search on Bibsonomy New Gener. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Notes on Craig interpolation for LJ with strong negation. Search on Bibsonomy Math. Log. Q. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Heinrich Wansing, Norihiro Kamide Synchronized Linear-Time Temporal Logic. Search on Bibsonomy Stud Logica The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide A logic of sequences. Search on Bibsonomy Reports Math. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Norihiro Kamide, Heinrich Wansing Completeness and cut-elimination theorems for trilattice logics. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Phase semantics for linear-time formalism. Search on Bibsonomy Log. J. IGPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Concept Finding Proofs. Search on Bibsonomy J. Adv. Comput. Intell. Intell. Informatics The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Paraconsistent Semantics for Description Logics: A Comparison. Search on Bibsonomy KES (1) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide A Decidable First-Order Logic for Medical Reasoning. Search on Bibsonomy KES (2) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Interpolation Theorems for Some Extended Description Logics. Search on Bibsonomy KES (2) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide On Temporal Gödel-Gentzen Translation. Search on Bibsonomy KES (2) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 145 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license