Kamide Norihiro 上出哲広

… Alternative Names

KAMIDE Norihiro 上出哲広

Less

Researcher Number	60332053
Other IDs
Affiliation (Current)	2025: 名古屋市立大学, データサイエンス研究科, 教授
Affiliation (based on the past Project Information) *help	2023: 名古屋市立大学, データサイエンス学部, 教授 2014 – 2022: 帝京大学, 理工学部, 准教授 2010 – 2011: Waseda University, 高等研究所, 研究員 2008 – 2009: Waseda University, 高等研究所, 助教
Review Section/Research Field	Principal Investigator Basic Section 60010:Theory of informatics-related / Intelligent informatics / Fundamental theory of informatics
Keywords	Principal Investigator 埋め込み定理 / 矛盾許容論理 / 非古典論理 / カット除去定理 / 完全性定理 / 時間論理 / モデル検査 / シーケント計算 / 数理論理学 / ファジー論理 … More / 確率論理 / 様相論理 / モデル検査技術 / 線形時間論理 / 分岐時間論理 / 決定可能性 / 線形論理 / Webオントロジー言語 / ソフトウェアモデル検査 / パラコンシステント論理 / 部分構造論理 Less

Research Projects
(5 results)
Research Products
(246 results)

矛盾許容性、曖昧性及び不確実性を考慮した拡張非古典論理の基礎理論とその応用Principal Investigator
- Principal Investigator
  
  上出哲広
- Project Period (FY)
  2023 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Nagoya City University
Theory and applications of non-classical logicsPrincipal Investigator
- Principal Investigator
  
  Kamide Norihiro
- Project Period (FY)
  2018 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Teikyo University
埋め込み定理に基づく新しい矛盾許容論理に関する研究（国際共同研究強化）Principal Investigator
- Principal Investigator
  
  上出哲広
- Project Period (FY)
  2017 – 2019
- Research Category
  
  Fund for the Promotion of Joint International Research (Fostering Joint International Research)
- Research Field
  
  Intelligent informatics
- Research Institution
  Teikyo University
Logical foundations of knowledge representation and reasoning systemsPrincipal Investigator
- Principal Investigator
  
  KAMIDE Norihiro
- Project Period (FY)
  2014 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Teikyo University
Substructural logics and their applications to computer sciencePrincipal Investigator
- Principal Investigator
  
  KAMIDE Norihiro
- Project Period (FY)
  2008 – 2011
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Waseda University

[Book] Proof theory of N4-related paraconsistent logics2015
- Author(s)
  Norihiro Kamide and Heinrich Wansing
- Total Pages
  414
- Publisher
  College Publications
- Data Source
  KAKENHI-PROJECT-26330263
[Book] Extending resource-aware logics : Proof systems, semantics and applications2011
- Author(s)
  Norihiro Kamide
- Publisher
  LAP Lambert Academic Publishing
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Natural Deduction with Explosion and Excluded Middle2023
- Author(s)
  Kamide Norihiro
- Journal Title
  
  Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic
  
  Volume: 1 Pages: 24-29
- DOI
  10.1109/ismvl57333.2023.00016
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K10990
[Journal Article] Embedding first-order classical logic into Gurevich's extended first-order intuitionistic logic: the role of strong negation2023
- Author(s)
  Kamide Norihiro
- Journal Title
  
  Journal of Applied Logics
  
  Volume: 10 Pages: 1025-1058
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K10990
[Journal Article] Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic2023
- Author(s)
  Kamide Norihiro
- Journal Title
  
  Studia Logica
  
  Volume: 111 Issue: 6 Pages: 979-1014
- DOI
  10.1007/s11225-023-10052-7
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K10990
[Journal Article] Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic2023
- Author(s)
  Kamide Norihiro
- Journal Title
  
  Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic
  
  Volume: 1 Pages: 30-35
- DOI
  10.1109/ismvl57333.2023.00017
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K10990
[Journal Article] Herbrand and contraposition-elimination theorems for extended first-order Belnap-Dunn logic2022
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Tribute Series: Relevance Logics and other Tools for Reasoning - Essays in Honor of J. Michael Dunn (Katalin Bimbo editor)
  
  Volume: 46 Pages: 237-260
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi2022
- Author(s)
  Kamide Norihiro
- Journal Title
  
  Logica Universalis
  
  Volume: 16 Issue: 3 Pages: 389-417
- DOI
  10.1007/s11787-022-00305-9
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Falsification-aware semantics for CTL and its inconsistency-tolerant subsystem: Towards falsification-aware model checking2022
- Author(s)
  Norihiro Kamide and Seidai Kanbe
- Journal Title
  
  Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART 2022)
  
  Volume: 3 Pages: 242-252
- DOI
  10.5220/0010803700003116
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Falsification-aware Semantics for Description Logics2022
- Author(s)
  Kamide Norihiro
- Journal Title
  
  Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2022)
  
  Volume: ー Pages: 100-105
- DOI
  10.1109/ismvl52857.2022.00022
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Falsification-aware semantics and sequent calculi for classical logic2022
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Journal of Philosophical Logic
  
  Volume: 51 Issue: 1 Pages: 99-126
- DOI
  10.1007/s10992-021-09611-x
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Falsification-Aware Semantics for Temporal Logics and Their Inconsistency-Tolerant Subsystems: Theoretical Foundations of Falsification-Aware Model Checking2022
- Author(s)
  Kamide Norihiro
- Journal Title
  
  International Journal of Software Engineering and Knowledge Engineering
  
  Volume: 32 Issue: 07 Pages: 971-1017
- DOI
  10.1142/s0218194022500371
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S52022
- Author(s)
  Kamide Norihiro
- Journal Title
  
  Journal of Logic, Language and Information
  
  Volume: ー Issue: 3 Pages: 395-440
- DOI
  10.1007/s10849-022-09386-7
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171, KAKENHI-PROJECT-23K10990
[Journal Article] Embedding Friendly First-Order Paradefinite and Connexive Logics2022
- Author(s)
  Kamide Norihiro
- Journal Title
  
  Journal of Philosophical Logic
  
  Volume: 51 Issue: 5 Pages: 1055-1102
- DOI
  10.1007/s10992-022-09659-3
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Reasoning with inconsistency-tolerant fuzzy description logics2022
- Author(s)
  Norihiro kamide
- Journal Title
  
  Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART 2022)
  
  Volume: 3 Pages: 63-74
- DOI
  10.5220/0010771200003116
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Inconsistency-tolerant hierarchical probabilistic CTL model checking: Logical foundations and illustrative examples2022
- Author(s)
  Norihiro Kamide
- Journal Title
  
  International Journal of Software Engineering and Knowledge Engineering
  
  Volume: 32 (1) Issue: 02 Pages: 131-162
- DOI
  10.1142/s0218194022500085
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Falsification-aware Twist Structures in Description Logic2022
- Author(s)
  Kamide Norihiro
- Journal Title
  
  Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2022)
  
  Volume: ー Pages: 119-124
- DOI
  10.1109/ismvl52857.2022.00025
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Cut-elimination, completeness, and Craig interpolation theorems for Gurevich's extended first-order intuitionistic logic with strong negation2021
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Journal of Applied Logics: IfCoLog Journal of Logics and their Applications
  
  Volume: 8 (5) Pages: 1101-1122
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Symmetric paraconsistent quantum logic2021
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2021)
  
  Volume: 1 Pages: 26-32
- DOI
  10.1109/ismvl51352.2021.00014
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Lattice logic, bilattice logic and paraconsistent quantum logic: A unified framework based on monosequent systems2021
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Journal of Philosophical Logic
  
  Volume: Online first Issue: 4 Pages: 1-31
- DOI
  10.1007/s10992-020-09585-2
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Inconsistency-tolerant hierarchical probabilistic computation tree logic and its application to model checking2021
- Author(s)
  Norihiro Kamide, Noriko Yamamoto
- Journal Title
  
  Proceedings of the 13th International Conference on Agents and Artificial Intelligence (ICAART 2021)
  
  Volume: 2 Pages: 490-499
- DOI
  10.5220/0010181604900499
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Modal and intuitionistic variants of extended Belnap--Dunn logic with classical negation2021
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Journal of Logic, Language and Information
  
  Volume: To appear
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Notes on Avron's self-extensional four-valued paradefinite logic2021
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2021)
  
  Volume: 1 Pages: 43-49
- DOI
  10.1109/ismvl51352.2021.00017
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Alternative multilattice logics: An approach based on monosequent and indexed monosequent calcul2021
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Studia Logica
  
  Volume: To appear
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Sequential fuzzy description logic: Reasoning for fuzzy knowledge bases with sequential information2020
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2020)
  
  Volume: - Pages: 218-223
- DOI
  10.1109/ismvl49045.2020.000-2
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Completeness of subtrilattice logic2020
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2020)
  
  Volume: - Pages: 279-284
- DOI
  10.1109/ismvl49045.2020.00059
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Modal extension of ideal paraconsistent four-valued logic and its subsystem2020
- Author(s)
  Norihiro Kamide, Yoni Zohar
- Journal Title
  
  Annals of Pure and Applied Logic
  
  Volume: 171 (10), 102830 Issue: 10 Pages: 1-30
- DOI
  10.1016/j.apal.2020.102830
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic2020
- Author(s)
  Norihiro Kamide, Yoni Zohar
- Journal Title
  
  Studia Logica
  
  Volume: 108 (3) Issue: 3 Pages: 549-571
- DOI
  10.1007/s11225-019-09863-4
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] An extended description logic for inconsistency-tolerant ontological reasoning with sequential information2020
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020)
  
  Volume: 2 Pages: 313-321
- DOI
  10.5220/0008876403130321
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion2020
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Journal of Philosophical Logic
  
  Volume: 49 (6) Issue: 6 Pages: 1185-1212
- DOI
  10.1007/s10992-020-09553-w
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Towards locative inconsistency-tolerant hierarchical probabilistic CTL model checking: Survey and future work2019
- Author(s)
  Norihiro Kamide, Juan Pedro Altamirano Bernal
- Journal Title
  
  Proceedings of the 11th International Conference on Agents and Artificial Intelligence
  
  Volume: 2 Pages: 869-878
- DOI
  10.5220/0007683808690878
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Some properties of first-order Nelsonian paraconsistent quantum logic2019
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Journal of Applied Logics - The IfCoLoG Journal of Logics and their Applications -
  
  Volume: 7 (1) Pages: 59-88
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] A substructural view of multilattice logic2019
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Journal of Multiple-Valued Logic and Soft Computing
  
  Volume: 33 (3) Pages: 239-270
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Finite model property for modal ideal paraconsistent four-valued logic2019
- Author(s)
  Norihiro Kamide and Yoni Zohar
- Journal Title
  
  Proceedings of the 49th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2019)
  
  Volume: 1 Pages: 120-125
- DOI
  10.1109/ismvl.2019.00029
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Yet another paradefinite logic: The role of conflation2019
- Author(s)
  Norihiro Kamide, Yoni Zohar
- Journal Title
  
  Logic Journal of the IGPL
  
  Volume: 27 Pages: 93-117
- DOI
  10.1093/jigpal/jzy023
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] An extended paradefinte Belnap-Dunn logic that is embeddable into classical logic and vice versa2019
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 11th International Conference on Agents and Artificial Intelligence
  
  Volume: 2 Pages: 377-387
- DOI
  10.5220/0007251603770387
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: A general framework2019
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Logica Universalis
  
  Volume: 13 Issue: 1 Pages: 37-63
- DOI
  10.1007/s11787-018-0218-3
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Bi-classical connexive logic and its modal extension: Cut-elimination, completeness and duality2019
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Logic and Logical Philosophy
  
  Volume: 28 (3) Issue: 4 Pages: 481-511
- DOI
  10.12775/llp.2018.015
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] First-order Nelsonian paraconsistent quantum logic2019
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 49th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2019)
  
  Volume: 1 Pages: 176-181
- DOI
  10.1109/ismvl.2019.00038
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Towards hierarchical probabilistic CTL model checking: Theoretical foundations2019
- Author(s)
  Norihiro Kamide, Yuki Yano
- Journal Title
  
  Proceedings of the 11th International Conference on Agents and Artificial Intelligence
  
  Volume: 2 Pages: 762-769
- DOI
  10.5220/0007456507620769
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Foundations of inconsistency-tolerant model checking: Logics, translations, and examples2019
- Author(s)
  Norihiro Kamide, Kazuki Endo
- Journal Title
  
  Lecture Notes in Artificial Intelligence
  
  Volume: 11352 Pages: 1-31
- DOI
  10.1007/978-3-030-05453-3_15
- ISBN
  9783030054526, 9783030054533
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Logical foundations of hierarchical model checking2018
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Data Technologies and Applications
  
  Volume: 52 Issue: 4 Pages: 539-563
- DOI
  10.1108/dta-01-2018-0002
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Extending paraconsistent quantum logic: A single-antecedent/succedent system approach2018
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: 64 Issue: 4-5 Pages: 371-386
- DOI
  10.1002/malq.201700012
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11171
[Journal Article] Decidable temporal and sequential relevant logics2018
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Journal of Logic and Computation
  
  Volume: 28 (2) Pages: 403-432
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Logics and Translations for Inconsistency-tolerant Model Checking2018
- Author(s)
  Norihiro Kamide, Kazuki Endo
- Journal Title
  
  Proceedings of the 10th International Conference on Agents and Artificial Intelligence (ICAART 2018)
  
  Volume: 2 Pages: 191-200
- DOI
  10.5220/0006640601910200
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Proof theory of paraconsistent quantum logic2018
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Journal of Philosophical Logic
  
  Volume: 47(2) Issue: 2 Pages: 301-324
- DOI
  10.1007/s10992-017-9428-z
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant2017
- Author(s)
  Norihiro Kamide, Yaroslav Shramko, Heinrich Wansing
- Journal Title
  
  Studia Logica
  
  Volume: 105 Issue: 6 Pages: 1193-1219
- DOI
  10.1007/s11225-017-9752-x
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] An Extended First-Order Belnap-Dunn Logic with Classical Negation2017
- Author(s)
  Norihiro Kamide、Hitoshi Omori
- Journal Title
  
  Logic, Rationality, and Interaction. LORI 2017. Lecture Notes in Computer Science, vol 10455
  
  Volume: - Pages: 79-93
- DOI
  10.1007/978-3-662-55665-8_6
- ISBN
  9783662556641, 9783662556658
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15J06850, KAKENHI-PROJECT-26330263
[Journal Article] Paraconsistent double negations as classical and intuitionistic negations2017
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Studia Logica
  
  Volume: 105 (6) Issue: 6 Pages: 1167-1191
- DOI
  10.1007/s11225-017-9731-2
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning2017
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Reports on Mathematical Logic
  
  Volume: 52 Pages: 3-44
- DOI
  10.4467/20842589rm.17.001.7139
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Extending ideal paraconsistent four-valued logic2017
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2017)
  
  Volume: 1 Pages: 49-54
- DOI
  10.1109/ismvl.2017.14
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Phase semantics for multilattice formalism2017
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2017)
  
  Volume: 1 Pages: 31-36
- DOI
  10.1109/ismvl.2017.13
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Embedding from multilattice logic into classical logic and vice versa2017
- Author(s)
  Norihiro Kamide, Yaroslav Shramko
- Journal Title
  
  Journal of Logic and Computation
  
  Volume: 27 (5) Pages: 1549-1575
- DOI
  10.1093/logcom/exw015
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Paraconsistent sequential linear-time temporal logic and its application to clinical reasoning verification: A brief survey and future work2017
- Author(s)
  Norihiro Kamide, Yosuke Matsuo, Mitsuhiro Ogawa
- Journal Title
  
  International Journal of Applied & Experimental Mathematics
  
  Volume: 2 (2)
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Natural deduction for connexive paraconsistent quantum logic2017
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2017)
  
  Volume: 1 Pages: 207-212
- DOI
  10.1109/ismvl.2017.12
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Modal multilattice logic2017
- Author(s)
  Norihiro Kamide, Yaroslav Shramko
- Journal Title
  
  Logica Universalis
  
  Volume: 11(3) Issue: 3 Pages: 317-343
- DOI
  10.1007/s11787-017-0172-5
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic2017
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Journal of Logic and Computation
  
  Volume: 27 (7) Issue: 7 Pages: 2271-2301
- DOI
  10.1093/logcom/exx006
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Logics and translations for hierarchical model checking2017
- Author(s)
  Norihiro Kamide, Ryu Yano
- Journal Title
  
  Proceedings of the 21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Procedia Computer Science
  
  Volume: 112 Pages: 31-40
- DOI
  10.1016/j.procs.2017.08.014
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Logics with definitional reflection rules2017
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Journal of Logic and Computation
  
  Volume: 27 (5) Pages: 1523-1548
- DOI
  10.1093/logcom/exw013
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Paraconsistent double negation that can simulate classical negation2016
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic
  
  Volume: 1 Pages: 131-136
- DOI
  10.1109/ismvl.2016.12
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Paraconsistent double negation as a modal operator2016
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: 62 Issue: 6 Pages: 552-562
- DOI
  10.1002/malq.201500042
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Bunched sequential information2016
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Journal of Applied Logic
  
  Volume: 15 Pages: 150-170
- DOI
  10.1016/j.jal.2016.02.003
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer2016
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: 62 Pages: 1-13
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Intuitionistic De Morgan verification and falsification logics2016
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016)
  
  Volume: 2 Pages: 233-240
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Cut-free systems for restricted bi-intuitionistic logic and its connexive extension2016
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic
  
  Volume: 1 Pages: 137-142
- DOI
  10.1109/ismvl.2016.11
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Method for Combining Paraconsistency and Probability in Temporal Reasoning2016
- Author(s)
  Norihiro Kamide and Daiki Koizumi
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics
  
  Volume: 20 Issue: 5 Pages: 813-827
- DOI
  10.20965/jaciii.2016.p0813
- NAID
  130007673356
- ISSN
  1343-0130, 1883-8014
- Year and Date
  2016-09-20
- Language
  English
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Completeness of connexive Heyting-Brouwer logic2016
- Author(s)
  Norihiro Kamide and Heinrich Wansing
- Journal Title
  
  IFCoLog Journal of Logics and their Applications
  
  Volume: 3 Pages: 441-466
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Duality in some intuitionistic paraconsistent logics2016
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016)
  
  Volume: 2 Pages: 288-297
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] A decidable temporal relevant logic for time-dependent relevant human reasoning2015
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 9394 Pages: 182-194
- DOI
  10.1007/978-3-662-48561-3_15
- ISBN
  9783662485606, 9783662485613
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Inconsistency-tolerant temporal reasoning with hierarchical information2015
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Information Sciences
  
  Volume: 320 Pages: 140-155
- DOI
  10.1016/j.ins.2015.05.015
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Inconsistency and sequentiality in LTL2015
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART 2015)
  
  Volume: 2 Pages: 46-54
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Combining paraconsistency and probability in CTL2015
- Author(s)
  Norihiro Kamide and Daiki Koizumi
- Journal Title
  
  Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART 2015)
  
  Volume: 2 Pages: 285-293
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Interpolation theorems for some variants of LTL2015
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Reports on Mathematical Logic
  
  Volume: 50 Pages: 3-20
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Reasoning in medical and tutoring systems: A decidable first-order temporalparaconsistent non-commutative logic2015
- Author(s)
  Norihiro Kamide
- Journal Title
  
  International Journal of Software and Informatics
  
  Volume: 9 Pages: 73-92
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Single-succedent system approach to Boolean BI2015
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Procedia Computer Science
  
  Volume: 60 Pages: 27-36
- DOI
  10.1016/j.procs.2015.08.101
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Trilattice logic: An embedding-based approach2015
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Journal of Logic and Computation
  
  Volume: 25 Issue: 3 Pages: 581-611
- DOI
  10.1093/logcom/exu019
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Embedding theorems for LTL and its variants2015
- Author(s)
  Norihiro kamide
- Journal Title
  
  Mathematical Structures in Computer Science
  
  Volume: 25 Issue: 1 Pages: 83-134
- DOI
  10.1017/s0960129514000048
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Inconsistency-tolerant multi-agent calculus, International Journal of Uncertainty2014
- Author(s)
  Norihiro Kamide
- Journal Title
  
  International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
  
  Volume: 22 Issue: 06 Pages: 815-830
- DOI
  10.1142/s0218488514500433
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] An eight-valued praconsistent logic2014
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Reports on Mathematical Logic
  
  Volume: 49 Pages: 3-21
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330263
[Journal Article] Reasoning about time-dependent multi-agents : Foundations of theorem proving and model checking2012
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Transactions on Computational Collective Intelligence
  
  Volume: (掲載確定)
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Embedding-based approaches to paraconsistent and temporal description logics2012
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Journal of Logic and Computation
  
  Volume: (掲載確定) Issue: 5 Pages: 1097-1124
- DOI
  10.1093/logcom/exr016
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Strong normalization in some temporal substructural logics2012
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Journal of Logic and Computation
  
  Volume: (掲載確定) Issue: 1 Pages: 1-24
- DOI
  10.1093/logcom/exs002
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Bounded linear-time temporal logic : A proof-theoretic investigation2012
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Annals of Pure and Applied Logic
  
  Volume: 163(4) Issue: 4 Pages: 439-466
- DOI
  10.1016/j.apal.2011.12.002
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Heinrich Wansing, Proof theory of Nelson's paraconsistent logic : A uniform perspective2012
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 415 Pages: 1-38
- DOI
  10.1016/j.tcs.2011.11.001
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Reasoning about resource-sensitive multi-agents, Multi-Agent Systems : Modeling, Control, Programming2011
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Simulations and Applications, INTECH Publishing
  
  Pages: 143-158
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Connexive modal logic based on positive S42011
- Author(s)
  Norihiro Kamide, Heinrich Wansing
- Journal Title
  
  Logic without Frontiers : Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday, Tribute Series
  
  Volume: 17 Pages: 389-410
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] A paraconsistent linear-time temporal logic2011
- Author(s)
  Norihiro Kamide, Heinrich Wansing
- Journal Title
  
  Fundamenta Informaticae 106(1)
  
  Pages: 1-23
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] A paraconsistent linear-time temporal logic2011
- Author(s)
  Norihiro Kamide and Heinrich Wansing
- Journal Title
  
  Fundamenta Informaticae
  
  Volume: 106(1) Pages: 1-23
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Reasoning about resource-sensitive multi-agents2011
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Multi-Agent Systems : Modeling, Control, Programming, Simulations and Applications
  
  Pages: 143-158
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Heinrich Wansing, Connexive modal logic based on positive S42011
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Logic without Frontiers : Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday
  
  Volume: Volume 17 Pages: 389-410
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Synchronized linear-time temporal logic2011
- Author(s)
  Heinrich Wansing, Norihiro Kamide
- Journal Title
  
  Studia Logica
  
  Volume: 99(1) Issue: 1-3 Pages: 365-388
- DOI
  10.1007/s11225-011-9357-8
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Conceptual modeling in full computation-tree logic with sequence modal operator2011
- Author(s)
  Ken Kaneiwa, Norihiro Kamide
- Journal Title
  
  International Journal of Intelligent Systems
  
  Volume: 26(7) Issue: 7 Pages: 636-651
- DOI
  10.1002/int.20486
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Interpolation theorems for some extended description logics2011
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Lecture Notes in Artificial Intelligence
  
  Volume: 6882 Pages: 246-235
- DOI
  10.1007/978-3-642-23863-5_25
- ISBN
  9783642238628, 9783642238635
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] A decidable first-order logic for medical reasoning2011
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Lecture Notes in Artificial Intelligence
  
  Volume: 6882 Pages: 235-245
- DOI
  10.1007/978-3-642-23863-5_24
- ISBN
  9783642238628, 9783642238635
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Phase semantics for linear-time formalism2011
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Logic Journal of the IGPL
  
  Volume: 19(1) Pages: 121-143
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Phase semantics for linear-time formalism2011
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Logic Journal of the IGPL 19(1)
  
  Pages: 121-143
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Completeness and cut-elimination theorems for trilattice logics2011
- Author(s)
  Norihiro Kamide, Heinrich Wansing
- Journal Title
  
  Annals of Pure and Applied Logic
  
  Volume: 162(10) Issue: 10 Pages: 816-835
- DOI
  10.1016/j.apal.2011.03.001
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] The logic of sequences2011
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Reports on Mathematical Logic
  
  Volume: 46 Pages: 29-57
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Paraconsistent computation tree logic2011
- Author(s)
  Ken Kaneiwa, Norihiro Kamide
- Journal Title
  
  New Generation Computing
  
  Volume: 29(4) Issue: 4 Pages: 391-408
- DOI
  10.1007/s00354-009-0116-6
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Paraconsistent semantics for description logics : A comparison2011
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Lecture Notes in Artificial Intelligence
  
  Volume: 6881 Pages: 599-608
- DOI
  10.1007/978-3-642-23851-2_61
- ISBN
  9783642238505, 9783642238512
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] On temporal Godel-Gentzen translation2011
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Lecture Notes in Artificial Intelligence
  
  Volume: 6882 Pages: 225-234
- DOI
  10.1007/978-3-642-23863-5_23
- ISBN
  9783642238628, 9783642238635
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Notes on interpolation for LJ with strong negation2011
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: 57(4) Issue: 4 Pages: 395-399
- DOI
  10.1002/malq.201010016
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Concept finding proofs2011
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics
  
  Volume: 15(7) Pages: 777-784
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Dynamic non-commutative logic, Journal of Logic2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Language and Information
  
  Volume: 19(1) Pages: 33-51
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] A logic for incomplete sequential information2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Lecture Notes in Artificial Intelligence
  
  Volume: 6277 Pages: 153-162
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] A proof system for time-dependent multi-agents2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Lecture Notes in Artificial Intelligence
  
  Volume: 6276 Pages: 178-187
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] A compatible approach to temporal description logics2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 23rd International Workshop on Description Logics(DL 2010), Sun SITE Central Europe(CEUR) Electronic Workshop Proceedings, Technical University of Aachen(RWTH)
  
  Pages: 12-12
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Reason ing about bounded time domain : An alternat ive to NP-camplete frapnents of LTL2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 2nd International Conference on Agents and Artificial Intelligence 1
  
  Pages: 536-539
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] A proof system for temporal reasoning with sequential information2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 20th Brazilian Symposium on Artificial Intelligence(SBIA 2010), Lecture Notes in Artificial Intelligence
  
  Volume: 6462 Pages: 283-292
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Symmetric and dual paraconsistent logics2010
- Author(s)
  Norihiro Kamide and Heinrich Wansing
- Journal Title
  
  Logic and Logical Philosophy
  
  Volume: 19(1-2) Pages: 7-30
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Paraconsistent negation and classical negation in computation tree logic2010
- Author(s)
  Norihiro Kamide and Ken Kaneiwa
- Journal Title
  
  Proceedings of the 2nd International Conference on Agents and Artificial Intelligence(ICAART 2010)
  
  Volume: Vol.1.AI Pages: 464-469
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] A sequent calculus for 3-dimensional space2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Lecture Notes in Artificial Intelligence
  
  Volume: 6404 Pages: 263-272
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Combining linear-time temporal logic with constructiveness and paraconsistency2010
- Author(s)
  Norihiro Kamide and Heinrich Wansing
- Journal Title
  
  Journal of Applied Logic
  
  Volume: 8 Pages: 33-61
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Branching-time versus linear-time : A cooperative and feasible approach2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 2nd International Conference on Agents and Artificial Intelligence(ICAART 2010)
  
  Volume: Vol.1.AI Pages: 522-526
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Paraconsistent negation and classical negation in computation tree logic2010
- Author(s)
  Norihiro Kamide, Ken Kaneiwa
- Journal Title
  
  Proceedings of the 2nd International Conference on Agents and Artificial Intelligence 1
  
  Pages: 464-469
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] A proof system for time-dependent multi-agents2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 14th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems(KES 2010), Lecture Notes in Artificial Intelligence
  
  Volume: 6276 Pages: 178-187
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Resource-sensitive reasoning with sequential information, Proceedings of the 23rd Australasian Joint Conference on Artificial Intelligence(AI' 10)2010
- Author(s)
  Norihiro Kamide and Ken Kaneiwa
- Journal Title
  
  Lecture Notes in Artificial Intelligence
  
  Volume: 6464 Pages: 22-31
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Reasoning about bounded time domain : An alternative to NP-complete fragments of LTL2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 2nd International Conference on Agents and Artificial Intelligence(ICAART 2010)
  
  Volume: Vol.1.AI Pages: 536-539
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Paraconsistent description logics revisited2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 23rd International Workshop on Description Logics(DL 2010), Sun SITE Central Europe(CEUR) Electronic Workshop Proceedings, Technical University of Aachen(RWTH)
  
  Pages: 12-12
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] A logic for incomplete sequential information2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 14th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems(KES 2010), Lecture Notes in Artificial Intelligence
  
  Volume: 6277 Pages: 153-162
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] An embedding-based completeness proof for Nelson's paraconsistent logic2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Bulletin of the Section of Logic
  
  Volume: 39(3/4) Pages: 205-214
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] A sequent calculus for 3-dimensional space2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 20th Brazilian Symposium on Artificial Intelligence(SBIA 2010), Lecture Notes in Artificial Intelligence
  
  Volume: 6404 Pages: 263-272
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] A compatible approach to temporal description logics2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Sun SITE Central Europe Electronic Workshop Proceedings
  
  Volume: 573
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Sequential description logic2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Far East Journal of Applied Mathematics
  
  Volume: 44(1) Pages: 205-214
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Completeness for generalized first-order LTL2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Lecture Notes in Artificial Intelligence
  
  Volume: 6359 Pages: 246-254
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Resource-sensitive reasoning with sequential information2010
- Author(s)
  Norihiro Kamide, Ken Kaneiwa
- Journal Title
  
  Lecture Notes in Artificial Intelligence
  
  Volume: 6464 Pages: 22-31
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] A proof system for temporal reasoning with sequential information2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Lecture Notes in Artificial Intelligence
  
  Volume: 6404 Pages: 283-292
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Automating and computing paraconsistent reasoning : Contraction-free, resolution and type systeme2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Reports on Mathematical Logic 45
  
  Pages: 3-21
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Paraconsistent description logics revisited2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Sun SITE Central Europe Electronic Workshop Proceedings
  
  Volume: 573
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Combining linear-time temporal logic with constructiveness and paraconsistency2010
- Author(s)
  Norihiro Kamide, Heinrich Wansing
- Journal Title
  
  Journal of Applied Logic 8
  
  Pages: 33-61
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Completeness for generalized first-order LTL2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 33rd Annual German Conference on Artificial Intelligence(KI 2010), Lecture Notes in Artificial Intelligence
  
  Volume: 6359 Pages: 246-254
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Combining linear-time temporal logic with constructiveness and paraconsistency2010
- Author(s)
  Norihiro Kamide, Neinrich Nansing
- Journal Title
  
  Journal of Applied Logic 8
  
  Pages: 33-61
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Embedding-based approaches to temporal logics : A survey2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Abstract booklet of International Conference on Mathematics of Date(ICMD 2010-2011)
  
  Volume: 41-43
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Sequence-indexed linear-time temporal logic : Proof system and application2010
- Author(s)
  Ken Kaneiwa and Norihiro Kamide
- Journal Title
  
  Applied Artificial Intelligence
  
  Volume: 24 Pages: 896-913
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Intuitionistic trilattice logics2010
- Author(s)
  Heinrich Wansing and Norihiro Kamide
- Journal Title
  
  Journal of Logic and Computation
  
  Volume: 20(6) Pages: 1201-1229
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] A logic for conceptual hierarchies2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Lecture Notes in Artificial Intelligence
  
  Volume: 6404 Pages: 303-312
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] A logic for conceptual hierarchies2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 20th Brazilian Symposium on Artificial Intelligence(SBIA 2010), Lecture Notes in Artificial Intelligence
  
  Volume: 6404 Pages: 303-312
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Strong normalization theorems for quantized lambda calculi2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Far East Journal of Applied Mathematics
  
  Volume: 44(1) Pages: 1-35
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Branching-time versus linear-time : A cooperative and feasible approach2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedin8s of the 2nd lnternational Conference on Agents and Artificial intelligence 1
  
  Pages: 522-526
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Notes on an extension of Davies' logic for binding-time analysis2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Far East Journal of Applied Mathematics
  
  Volume: 44(1) Pages: 37-57
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Strong normalization of program-indexed lambda calculus2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Bulletin of the Section of Logic
  
  Volume: 39(1-2) Pages: 65-78
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Automating and computing paraconsistent reasoning : Contraction-free, resolution and type systems2010
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Reports on Mathematical Logic
  
  Volume: 45 Pages: 3-21
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Proof systems combining classical and paraconsistent negations2009
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Studia Logica 91
  
  Pages: 217-238
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Temporal non-commutative logic : Expressing time, resource, order and hierarchy2009
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Logic and Logical Philosophy
  
  Volume: 18 Pages: 97-126
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Extended full computation-tree logic with sequence modal operator : Representing hierarchical tree structures2009
- Author(s)
  Norihiro Kamide and Ken Kaneiwa
- Journal Title
  
  Proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence(AI' 09), Lecture Notes in Artificial Intelligence
  
  Volume: 5866 Pages: 485-494
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Proof systems combining classical and paraconsistent negations2009
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Studia Logica 91(2)
  
  Pages: 217-238
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Sequent calculi for some trilattice logics2009
- Author(s)
  Norihiro Kamide, Heinrich Wansing
- Journal Title
  
  Review of Symbolic Logic 2
  
  Pages: 374-395
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Sequent calculi for some trilattice logics2009
- Author(s)
  Norihiro Kamide and Heinrich Wansing
- Journal Title
  
  The Review of Symbolic Logic
  
  Volume: 2(2) Pages: 374-395
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Embedding linear-time temporal logic into infinitary logic : Application to cut-elimination for multi-agent infinitary epistemic l inear-time temporal logic2009
- Author(s)
  Norihiro Kamide
- Journal Title
  
  lecture Notes in Artificial Intelligence 5405
  
  Pages: 57-76
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Sequent calculi for some trilattice logics2009
- Author(s)
  Norihiro Kamide, Heinrich Wansing
- Journal Title
  
  The Review of Symbolic Logic 2(2)
  
  Pages: 374-395
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Strong normalization of program-indexed lambda calculus2009
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 5th Conference on Computability in Europe : Mathematical Theory and Computational Practice(CiE 2009), Abstract Booklet
  
  Pages: 196-205
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Embedding linear-time temporal logic into infinitary logic : Application to cut-elimination for multi-agent infinitary epistemic linear-time temporal logic2009
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 9th International Workshop on Computational Logic in Multi-Agent Systems(CLIMA-9) 2008, Lecture Notes in Artificial Intelligence(Springer)
  
  Volume: 5405 Pages: 57-76
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Strong normalization of prograirindexed lambda calculus2009
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 5th Conference on Camputability in Europe : Mathematical Theory and Camputational Practice, Abstract Booklet
  
  Pages: 196-205
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Temporal non-camutative logic : Expressing time, resource, order and hierarchy2009
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Logic and Logical Philosophy 18
  
  Pages: 97-126
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Proof systems combining classical and paraconsistent negations2009
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Studia Logica
  
  Volume: 91(2) Pages: 217-238
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Extended full computation-tree logic with sequence modal operator : Representing hierarchical tree structures2009
- Author(s)
  Norihiro Kamide, Ken Kaneiwa
- Journal Title
  
  Lecture Notes in Artificial Intelligence 5866
  
  Pages: 485-494
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Embedding linear-time temporal logic into infinitary logic : Application to cut-elimination for multi-agent infinitary epistemic linear-time temporal logic2008
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Proceedings of the 9th International Workshop on Computational Logic in Multi-agent Systems 9
  
  Pages: 143-158
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Linear exponentials as resource operators : A decidable first-order linear logic with bounded exponentials2008
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Lecture Notes in Artificial Intelligence
  
  Volume: 5293 Pages: 245-257
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Strong normalizability of typed lambda calculi for substructural logics2008
- Author(s)
  Motohiko Mouri and Norihiro Kamide
- Journal Title
  
  Logica Universalis 2
  
  Pages: 189-208
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Sequent calculi for some trilattice logics2008
- Author(s)
  Norihiro Kamide and Heinrich Wansing
- Journal Title
  
  TU Dresden Technical Report
  
  Pages: 1-29
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Combining linear-time temporal logic with constructiveness and paraconsistency2008
- Author(s)
  Norihiro Kamide and Heinrich Wansing
- Journal Title
  
  TU Dresden Technical Report
  
  Pages: 1-43
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Linear exponentials as resource operators : A decidable first-order linear logic with bounded exponentials2008
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Lecture Notes in Artificial Intelligence 5293
  
  Pages: 245-257
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Strong normalizability of typed lambda calculi for substructural logics2008
- Author(s)
  Motohiko Mouri and Norihiro Kamide
- Journal Title
  
  Logica Universalis
  
  Volume: 2(2) Pages: 189-208
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Journal Article] Strong normalization of a typed lambda calculus for intuitionistic bounded linear-time temporal logic
- Author(s)
  Norihiro Kamide
- Journal Title
  
  Reports on Mathematical Logic
  
  Volume: (掲載確定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Rules of explosion and excluded middle2023
- Author(s)
  Kamide Norihiro
- Organizer
  The 1st Workshop on Contradictory Logics
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K10990
[Presentation] Self-extensional paradefinite four-valued modal logic compatible with standard modal logic2023
- Author(s)
  Kamide Norihiro
- Organizer
  The 53rd IEEE International Symposium on Multiple-Valued Logic
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K10990
[Presentation] Natural deduction with explosion and excluded middle2023
- Author(s)
  Kamide Norihiro
- Organizer
  The 53rd IEEE International Symposium on Multiple-Valued Logic
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K10990
[Presentation] Falsification-aware semantics for CTL and its inconsistency-tolerant subsystem: Towards falsification-aware model checking2022
- Author(s)
  Norihiro Kamide and Seidai Kanbe
- Organizer
  The 14th International Conference on Agents and Artificial Intelligence (ICAART 2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] Falsification-aware semantics for description logics2022
- Author(s)
  Norihiro Kamide
- Organizer
  The 52nd IEEE International Symposium on Multiple-Valued Logic
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] Reasoning with inconsistency-tolerant fuzzy description logics2022
- Author(s)
  Norihiro Kamide
- Organizer
  The 14th International Conference on Agents and Artificial Intelligence (ICAART 2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: How to construct nice Gentzen-type sequent calculi2022
- Author(s)
  Norihiro Kamide
- Organizer
  Logica Universalis Webinar
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] Falsification-aware twist structures in description logic2022
- Author(s)
  Norihiro Kamide
- Organizer
  he 52nd IEEE International Symposium on Multiple-Valued Logic
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] 反証的CTLモデル検査の拡張とその応用2022
- Author(s)
  神戸勢大, 石野寛人, 楊奕偉, Khoo Nee Kwan, 上出哲広
- Organizer
  情報処理学会第84回全国大会
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] Inconsistency-tolerant hierarchical probabilistic computation tree logic model checking and its application to clinical reasoning verification2021
- Author(s)
  Norihiro Kamide, Seidai Kanbe, Hiroto Ishino, Yiwei Yang, and Khoo Nee Kwan
- Organizer
  The 7th International Conference on Fuzzy Systems and Data Mining (FSDM 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] Notes on Avron's self-extensional four-valued paradefinite logic2021
- Author(s)
  Norihiro Kamide
- Organizer
  The 51st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] 矛盾許容階層確率CTLモデル検査に対する論理と具体例2021
- Author(s)
  山本ノリコ, Khoo Nee Kwan, 楊奕偉, 石野寛人, 神戸勢大, 上出哲広
- Organizer
  情報処理学会第83回全国大会
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] Inconsistency-tolerant hierarchical probabilistic computation tree logic and its application to model checking2021
- Author(s)
  Norihiro Kamide, Noriko Yamamoto
- Organizer
  The 13th International Conference on Agents and Artificial Intelligence (ICAART 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] 矛盾許容階層確率モデル検査技術を用いた臨床推論・知識検証技法の提案2021
- Author(s)
  山本ノリコ, Khoo Nee Kwan, 楊奕偉, 石野寛人, 神戸勢大, 上出哲広
- Organizer
  情報処理学会数理モデル化と問題解決研究会
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] Symmetric paraconsistent quantum logic2021
- Author(s)
  Norihiro Kamide
- Organizer
  The 51st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] An extended description logic for inconsistency-tolerant ontological reasoning with sequential information2020
- Author(s)
  Norihiro Kamide
- Organizer
  The 12th International Conference on Agents and Artificial Intelligence (ICAART 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] Inconsistency-tolerant fuzzy description logics2020
- Author(s)
  Norihiro Kamide
- Organizer
  The 6th International Conference on Fuzzy Systems and Data Mining (FSDM 2020)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] Completeness of subtrilattice logic2020
- Author(s)
  Norihiro Kamide
- Organizer
  The 50th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] Sequential fuzzy description logic: Reasoning for fuzzy knowledge bases with sequential information2020
- Author(s)
  Norihiro Kamide
- Organizer
  The 50th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] Logical foundation of locative inconsistency-tolerant hierarchical probabilistic model checking2019
- Author(s)
  Norihiro Kamide
- Organizer
  The 5th International Conference on Fuzzy Systems and Data Mining (FSDM 2019)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] An extended paradefinte Belnap-Dunn logic that is embeddable into classical logic and vice versa2019
- Author(s)
  Norihiro Kamide
- Organizer
  The 11th International Conference on Agents and Artificial Intelligence
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] First-order Nelsonian paraconsistent quantum logic2019
- Author(s)
  Norihiro Kamide
- Organizer
  The 49th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] Finite model property for modal ideal paraconsistent four-valued logic2019
- Author(s)
  Norihiro Kamide, Yoni Zohar
- Organizer
  The 49th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] Towards hierarchical probabilistic CTL model checking: Theoretical foundations2019
- Author(s)
  Norihiro Kamide, Yuki Yano
- Organizer
  he 11th International Conference on Agents and Artificial Intelligence
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] Extending probabilistic model checking2019
- Author(s)
  Norihiro Kamide
- Organizer
  The 3rd International Conference on Software and e-Business
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] 矛盾許容階層確率CTLモデル検査とその臨床推論検証への応用2019
- Author(s)
  矢野佑騎, 上出哲広
- Organizer
  日本ソフトウェア科学会第36回大会
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] Towards locative inconsistency-tolerant hierarchical probabilistic CTL model checking2019
- Author(s)
  Norihiro Kamide, Juan Pedro Altamirano Bernal
- Organizer
  The 11th International Conference on Agents and Artificial Intelligence
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] Foundations of hierarchical model checking: Logics, translations, and examples2018
- Author(s)
  Norihiro Kamide
- Organizer
  The 4th International Conference on Fuzzy Systems and Data Mining
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11171
[Presentation] Logics and translations for inconsistency-tolerant model checking2018
- Author(s)
  Norihiro Kamide, Kazuki Endo
- Organizer
  The 10th International Conference on Agents and Artificial Intelligence (ICAART 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330263
[Presentation] 矛盾許容モデル検査の臨床推論検証および学習プロセス検証への応用2017
- Author(s)
  松尾洋祐, 遠藤一樹, 上出哲広
- Organizer
  日本ソフトウェア科学会第34回大会ポスター発表, 2017. 慶應義塾大学(神奈川県・横浜市)
- Data Source
  KAKENHI-PROJECT-26330263
[Presentation] 階層モデル検査: 論理, 翻訳および具体例2017
- Author(s)
  矢野龍, 上出哲広
- Organizer
  情報処理学会研究報告, Vol. 2017-MPS-115, No. 15, pp, 1-2, 2017. 北海道大学(北海道・札幌市)
- Data Source
  KAKENHI-PROJECT-26330263
[Presentation] Paraconsistent model checking: Logics, translations and examples2017
- Author(s)
  Norihiro Kamide
- Organizer
  2017 International Conference on Software and e-Business (ICSEB 2017)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330263
[Presentation] Bi-classical connexive logic and its modal extension: Cut-elimination, completeness and duality2017
- Author(s)
  Norihiro Kamide
- Organizer
  The 3rd Workshop on Connexive Logics, 2017年9月7日, kyoto, Japan, 京都大学(京都府・京都市)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330263
[Presentation] 階層モデル検査による階層的推論プロセスの検証2017
- Author(s)
  矢野龍, 上出哲広
- Organizer
  日本ソフトウェア科学会第34回大会ポスター発表, 2017. 慶應義塾大学(神奈川県・横浜市)
- Data Source
  KAKENHI-PROJECT-26330263
[Presentation] 矛盾許容モデル検査のための論理と翻訳2017
- Author(s)
  遠藤一樹, 松尾洋祐, 上出哲広
- Organizer
  日本ソフトウェア科学会第34回大会ポスター発表, 2017. 慶應義塾大学(神奈川県・横浜市)
- Data Source
  KAKENHI-PROJECT-26330263
[Presentation] An extended first-order Belnap-Dunn logic with classical negation2017
- Author(s)
  Norihiro Kamide, Hitoshi Omori
- Organizer
  The 6th International Workshop on Logic, Rationality, and Interaction (LORI 2017), 2017年9月11日-2017年9月14日, Hokkaido, Japan, 北海道大学（北海道・札幌市）
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330263
[Presentation] Duality in some intuitionistic paraconsistent logics2016
- Author(s)
  Norihiro Kamide
- Organizer
  The 8th International Conference on Agents and Artificial Intelligence (ICAART 2016)
- Place of Presentation
  Rome, Italy
- Year and Date
  2016-02-24
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330263
[Presentation] Cut-free systems for restricted bi-intuitionistic logic and its connexive extension2016
- Author(s)
  Norihiro Kamide
- Organizer
  The 46th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2016)
- Place of Presentation
  北海道大学（北海道札幌市）
- Year and Date
  2016-05-18
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330263
[Presentation] Paraconsistent double negation that can simulate classical negation2016
- Author(s)
  Norihiro Kamide
- Organizer
  The 46th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2016)
- Place of Presentation
  北海道大学（北海道札幌市）
- Year and Date
  2016-05-18
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330263
[Presentation] Intuitionistic De Morgan verification and falsification logics2016
- Author(s)
  Norihiro Kamide
- Organizer
  The 8th International Conference on Agents and Artificial Intelligence (ICAART 2016)
- Place of Presentation
  Rome, Italy
- Year and Date
  2016-02-24
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330263
[Presentation] A decidable temporal relevant logic for time-dependent relevant human reasoning2015
- Author(s)
  Norihiro Kamide
- Organizer
  The 5th International Workshop on Logic, Rationality, and Interaction (LORI 2015)
- Place of Presentation
  Taiwan
- Year and Date
  2015-10-28
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330263
[Presentation] Single-succedent system approach to Boolean BI2015
- Author(s)
  Norihiro Kamide
- Organizer
  The 19th International Conference on Knowledge Based and Intelligent Information and Engineering Systems (KES 2015)
- Place of Presentation
  Singapore
- Year and Date
  2015-09-07
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330263
[Presentation] Interpolation theorems for some extended description logics2011
- Author(s)
  Norihiro Kamide
- Organizer
  The 15th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems(KES 2011)
- Place of Presentation
  Germany, Kaiserslautern
- Year and Date
  2011-09-12
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Norihiro Kamide2011
- Author(s)
  Norihiro Kamide
- Organizer
  The 15th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems(KES 2011)
- Place of Presentation
  Germany, Kaiserslautern
- Year and Date
  2011-09-12
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Embedding-based approaches to temporal logics : A survey2011
- Author(s)
  Norihiro Kamide
- Organizer
  Abstract booklet of International Conference on Mathematics of Date(ICMD 2010-2011)
- Place of Presentation
  India, Allahabad
- Year and Date
  2011-01-01
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Embedding-based approaches to temporal logics : A survey2011
- Author(s)
  Norihiro Kamide
- Organizer
  International Conference on Mathematics of Date (ICMD 2010-2011)
- Place of Presentation
  India, Allahabad(招待講演)
- Year and Date
  2011-01-01
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Paraconsistent semantics for description logics : A comparison2011
- Author(s)
  Norihiro Kamide
- Organizer
  The 15th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems(KES 2011)
- Place of Presentation
  Germany, Kaiserslautern
- Year and Date
  2011-09-12
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] On temporal Godel-Gentzen translation2011
- Author(s)
  Norihiro Kamide
- Organizer
  The 15th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems(KES 2011)
- Place of Presentation
  Germany, Kaiserslautern
- Year and Date
  2011-09-12
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Paraconsistent semantics for description logics : A comparison2011
- Author(s)
  Norihiro Kamide
- Organizer
  The 15th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES 2011)
- Place of Presentation
  Germany, Kaiserslautern
- Year and Date
  2011-09-12
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Interpolation theorems for some extended description logics2011
- Author(s)
  Norihiro Kamide
- Organizer
  The 15th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES 2011)
- Place of Presentation
  Germany, Kaiserslautern
- Year and Date
  2011-09-12
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] On temporal Grodel-Gentzen translation2011
- Author(s)
  Norihiro Kamide
- Organizer
  The 15th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES 2011)
- Place of Presentation
  Germany, Kaiserslautern
- Year and Date
  2011-09-12
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] A decidable first-order logic for medical reasoning2011
- Author(s)
  Norihiro Kamide
- Organizer
  The 15th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES 2011)
- Place of Presentation
  Germany, Kaiserslautern
- Year and Date
  2011-09-12
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Embedding-based approaches to temporal logics : A survey2011
- Author(s)
  Norihiro Kamide
- Organizer
  International Conference on Mathematics of Date (ICMD 2010-2011)
- Place of Presentation
  India, Allahabad.
- Year and Date
  2011-01-01
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Completeness for generalized first-order LTL2010
- Author(s)
  Norihiro Kamide
- Organizer
  33rd Annual German Conference on Artificial Intelligence (KI 2010)
- Place of Presentation
  Germany, Karlsruhe
- Year and Date
  2010-09-23
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] A logic for conceptual hierarchies2010
- Author(s)
  Norihiro Kamide
- Organizer
  Proceedings of the 20th Brazilian Symposium on Artificial Intelligence(SBIA 2010), Lecture Notes in Artificial Intelligence
- Place of Presentation
  Brazil, Sao Bernardo do Campo
- Year and Date
  2010-10-27
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] A proof system for temporal reasoning with sequential information2010
- Author(s)
  Norihiro Kamide
- Organizer
  Proceedings of the 20th Brazilian Symposium on Artificial Intelligence(SBIA 2010), Lecture Notes in Artificial Intelligence
- Place of Presentation
  Brazil, Sao Bernardo do Campo
- Year and Date
  2010-10-27
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] A sequent calculus for 3-dimensional space2010
- Author(s)
  Norihiro Kamide
- Organizer
  The 20th Brazilian Symposium on Artificial Intelligence (SBIA 2010)
- Place of Presentation
  Brazil, Sao Bernardo do Campo.
- Year and Date
  2010-10-26
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Paraconsistent negation and classical negation in computation tree logic2010
- Author(s)
  Norihiro Kamide, Ken Kaneiwa
- Organizer
  2nd International Conference on Agents and Artificial Intelligence (ICAART 2010)
- Place of Presentation
  Spain Valencia
- Year and Date
  2010-01-21
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Branching-time versus linear-time : A oooperative and feasible approach2010
- Author(s)
  Norihiro Kamide
- Organizer
  2nd International Conference on Agents and Artificial Intelligence (ICAART 2010)
- Place of Presentation
  Spain Valencia
- Year and Date
  2010-01-21
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Resource-sensitive reasoning with sequential information2010
- Author(s)
  Norihiro Kamide and Ken Kaneiwa
- Organizer
  Proceedings of the 23rd Australasian Joint Conference on Artificial Intelligence(AI' 10), Lecture Notes in Artificial Intelligence
- Place of Presentation
  Australia, Adelaide
- Year and Date
  2010-12-08
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] A sequent calculus for 3-dimensional space2010
- Author(s)
  Norihiro Kamide
- Organizer
  Proceedings of the 20th Brazilian Symposium on Artificial Intelligence(SBIA 2010), Lecture Notes in Artificial Intelligence
- Place of Presentation
  Brazil, Sao Bernardo do Campo
- Year and Date
  2010-10-26
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Paraconsistent description logics revisited2010
- Author(s)
  Norihiro Kamide
- Organizer
  23rd International Workshop on Description Logics (DL 2010)
- Place of Presentation
  Canada, Waterloo
- Year and Date
  2010-05-04
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] A sequent calculus for 3-dimensional space2010
- Author(s)
  Norihiro Kamide
- Organizer
  20th Brazilian Symposium on Artificial Intelligence (SBIA 2010)
- Place of Presentation
  Brazil, Sao Bernardo do Campo
- Year and Date
  2010-10-26
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] A proof system for time-dependent multi-agents2010
- Author(s)
  Norihiro Kamide
- Organizer
  14th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES 2010)
- Place of Presentation
  UK, Cardiff
- Year and Date
  2010-09-09
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Resource-sensitive reasoning with sequential information2010
- Author(s)
  Norihiro Kamide, Ken Kaneiwa
- Organizer
  The 23rd Australasian Joint Conference on Artificial Intelligence (AI'10)
- Place of Presentation
  Australia, Adelaide.
- Year and Date
  2010-12-08
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] A proof system for temporal reasoning with sequential information2010
- Author(s)
  Norihiro Kamide
- Organizer
  20th Brazilian Symposium on Artificial Intelligence (SBIA 2010)
- Place of Presentation
  Brazil, Sao Bernardo do Campo
- Year and Date
  2010-10-27
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Completeness for generalized first-order LTL2010
- Author(s)
  Norihiro Kamide
- Organizer
  Proceedings of the 33rd Annual German Conference on Artificial Intelligence(KI 2010), Lecture Notes in Artificial Intelligence
- Place of Presentation
  Germany, Karlsruhe.
- Year and Date
  2010-09-23
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] A compatible approach to temporal description logics2010
- Author(s)
  Norihiro Kamide
- Organizer
  23rd International Workshop on Description Logics (DL 2010)
- Place of Presentation
  Canada, Waterloo
- Year and Date
  2010-05-04
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] A logic for conceptual hierarchies2010
- Author(s)
  Norihiro Kamide
- Organizer
  20th Brazilian Symposium on Artificial Intelligence (SBIA 2010)
- Place of Presentation
  Brazil, Sao Bernardo do Campo
- Year and Date
  2010-10-27
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] A logic for incomplete sequential information2010
- Author(s)
  Norihiro Kamide
- Organizer
  14th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES 2010)
- Place of Presentation
  UK, Cardiff
- Year and Date
  2010-09-09
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Resource-sensitive reasoning with sequential information2010
- Author(s)
  Norihiro Kamide, Ken Kaneiwa
- Organizer
  23rd Australasian Joint Conference on Artificial Intelligence (AI'10)
- Place of Presentation
  Australia, Adelaide
- Year and Date
  2010-12-08
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Reasoning about boundod time domain : An aiternative to NP-complete fragments of LTL2010
- Author(s)
  Norihiro Kamide
- Organizer
  2nd International Conference on Agents and Artificial Intelligence (ICAART 2010)
- Place of Presentation
  Spain Valencia
- Year and Date
  2010-01-21
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Extended full computation-tree logic with sequence modal operator : Representing hierarchical tree structures2009
- Author(s)
  Norihiro Kamide, Ken Kaneiwa
- Organizer
  The 22nd Australasian Joint Conference on Artificial Intelligence (AI'09)
- Place of Presentation
  Australia, Melbourne.
- Year and Date
  2009-12-03
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Extended full computation-tree logic with sequenoe modal operator : Representing hierarchical tree structures2009
- Author(s)
  Norihiro Kamide, Ken Kaneiwa
- Organizer
  22nd Australasian Joint Conference on Artificial Intelligence (Al'09)
- Place of Presentation
  Australia Melbourne
- Year and Date
  2009-12-03
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Strong normalization of program-indexed lambda calculus2009
- Author(s)
  Norihiro Kamide
- Organizer
  5th Conference on Computability in Europe : Mathematica Theory and Computational Practice (CiE 2009)
- Place of Presentation
  Germany Heidelberg
- Year and Date
  2009-07-20
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Proof systems for generalized paraconsistent negations2008
- Author(s)
  Norihiro Kamide
- Organizer
  2008 International Workshop on Truth values
- Place of Presentation
  Institute of Philosophy, Dresden University of Technology, Germany
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Linear exponentials as resource operators : A decidable first-order linear logic with bounded exponentials2008
- Author(s)
  Norihiro Kamide
- Organizer
  The 11th European Conference on Logics in Artificial Intelligence (JELIA 2008)
- Place of Presentation
  Germany, Dresden.
- Year and Date
  2008-09-28
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Proof systems for generalized paraconsistent negations2008
- Author(s)
  Norihiro Kamide
- Organizer
  2008 International Workshop on Truth values
- Place of Presentation
  Dresden, Germany
- Year and Date
  2008-05-29
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Embedding linear-time temporal logic into infinitary logic : Application to cut-elimination for multi-agent infinitary epistemic linear-time temporal logic2008
- Author(s)
  Norihiro Kamide
- Organizer
  9th International Workshop on Computational Logic in Multi-agent Systems
- Place of Presentation
  Dresden, Germany
- Year and Date
  2008-10-01
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Linear exponentials as resource operators : A decidable first-order linear logic with bounded exponentials2008
- Author(s)
  Norihiro Kamide
- Organizer
  11th European Conference on Logics in Artificial Intelligence
- Place of Presentation
  Dresden, Germany
- Year and Date
  2008-09-29
- Data Source
  KAKENHI-PROJECT-20700015
[Presentation] Inconsistency and sequentiality in LTL
- Author(s)
  Norihiro Kamide
- Organizer
  The 7th International Conference on Agents and Artificial Intelligence (ICAART 2015)
- Place of Presentation
  Lisbon, Portugal
- Year and Date
  2015-01-10 – 2015-01-12
- Data Source
  KAKENHI-PROJECT-26330263
[Presentation] Combining paraconsistency and probability in CTL
- Author(s)
  Norihiro Kamide and Daiki Koizumi
- Organizer
  The 7th International Conference on Agents and Artificial Intelligence (ICAART 2015)
- Place of Presentation
  Lisbon, Portugal
- Year and Date
  2015-01-10 – 2015-01-12
- Data Source
  KAKENHI-PROJECT-26330263

Kamide Norihiro 上出 哲広

KAMIDE Norihiro 上出 哲広

Research Projects

Research Products

矛盾許容性、曖昧性及び不確実性を考慮した拡張非古典論理の基礎理論とその応用Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Theory and applications of non-classical logicsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

埋め込み定理に基づく新しい矛盾許容論理に関する研究（国際共同研究強化）Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Logical foundations of knowledge representation and reasoning systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Substructural logics and their applications to computer sciencePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] Proof theory of N4-related paraconsistent logics2015

Author(s)

Total Pages

Publisher

Data Source

[Book] Extending resource-aware logics : Proof systems, semantics and applications2011

Author(s)

Publisher

Data Source

[Journal Article] Natural Deduction with Explosion and Excluded Middle2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Embedding first-order classical logic into Gurevich's extended first-order intuitionistic logic: the role of strong negation2023

Author(s)

Journal Title

Data Source

[Journal Article] Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Herbrand and contraposition-elimination theorems for extended first-order Belnap-Dunn logic2022

Author(s)

Journal Title

Data Source

[Journal Article] An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Falsification-aware semantics for CTL and its inconsistency-tolerant subsystem: Towards falsification-aware model checking2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Falsification-aware Semantics for Description Logics2022

Author(s)

Journal Title

DOI

Kamide Norihiro 上出哲広

KAMIDE Norihiro 上出哲広