上出　哲広 (カミデ　ノリヒロ)

研究者情報

学位

• 博士（情報科学）（北陸先端科学技術大学院大学）

J-Global ID

• 200901079860337960

研究キーワード

• ソフトウェア科学   人工知能   哲学的論理学   理論計算機科学   数理論理学   情報論理学   

研究分野

• 情報通信 / 情報学基礎論 / 理論計算機科学
• 人文・社会 / 哲学、倫理学 / 哲学的論理学
• 情報通信 / 知能情報学 / 知識表現と推論
• 自然科学一般 / 応用数学、統計数学 / 情報数学
• 自然科学一般 / 数学基礎 / 数理論理学
• 情報通信 / 情報学基礎論 / 情報論理学

経歴

• 2023年04月 - 現在  名古屋市立大学データサイエンス学部教授
• 2015年04月 - 2023年03月  帝京大学理工学部情報電子工学科Faculty of Science and Engineering, Department of Information and Electronic Engineering准教授
• 2014年04月 - 2015年03月  帝京大学理工学部ヒューマン情報システム学科Faculty of Science and Engineering, Department of Human Information Systems准教授
• 2013年09月 - 2014年03月  早稲田大学理工学術院非常勤講師
• 2012年04月 - 2014年03月  サイバー大学IT総合学部Faculty of IT and Business准教授
• 2011年10月 - 2012年03月  サイバー大学客員准教授
• 2010年10月 - 2012年03月  早稲田大学高等研究所Institue for Advanced Study客員・招聘研究員
• 2010年04月 - 2010年09月  早稲田大学高等研究所Institue for Advanced Study准教授
• 2007年10月 - 2010年04月  早稲田大学高等研究所Institue for Advanced Study助教
• 2008年05月 - 2009年09月  Dresden university of technologyAlexander von Humboldt fellow
• 2007年04月 - 2007年09月  産業技術総合研究所関西産学官連携センター外来研究員
• 2006年07月 - 2007年03月  産業技術総合研究所システム検証研究センター特別研究員
• 2006年04月 - 2006年10月  東京工業高等専門学校情報工学科Department of Computer Science非常勤講師
• 2003年04月 - 2006年03月  慶應義塾大学文学研究科Graduate School of Letters学術振興会特別研究員PD
• 2000年04月 - 2002年03月  和歌山工業高等専門学校電気工学科助手

学歴

• 1995年04月 - 2000年03月   北陸先端科学技術大学院大学   情報科学研究科   情報処理学専攻
• 1991年04月 - 1995年03月   帝京技術科学大学   情報学部   情報工学科

所属学協会

• 日本ソフトウェア科学会   人工知能学会   日本数学会   

研究活動情報

論文

• Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5.

  Norihiro Kamide

  Journal of Logic, Language and Information 32 3 395 - 440 2023年08月 [査読有り]
  
• Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic.

  Norihiro Kamide

  Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic 30 - 35 2023年 [査読有り]
  
• Natural Deduction with Explosion and Excluded Middle.

  Norihiro Kamide

  Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic 24 - 29 2023年 [査読有り]
  
• An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi.

  Norihiro Kamide

  Logica Universalis 16 3 389 - 417 2022年 [査読有り]
  
• Embedding Friendly First-Order Paradefinite and Connexive Logics.

  Norihiro Kamide

  Journal of Philosophical Logic 51 5 1055 - 1102 2022年 [査読有り]
  
• Falsification-Aware Semantics for Temporal Logics and Their Inconsistency-Tolerant Subsystems: Theoretical Foundations of Falsification-Aware Model Checking.

  Norihiro Kamide

  International Journal of Software Engineering and Knowledge Engineering 32 7 971 - 1017 2022年 [査読有り]
  
• Falsification-aware Twist Structures in Description Logic.

  Norihiro Kamide

  Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic 119 - 124 2022年 [査読有り]
  
• Falsification-aware Semantics for Description Logics.

  Norihiro Kamide

  Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic 100 - 105 2022年 [査読有り]
  
• Herbrand and contraposition-elimination theorems for extended first-order Belnap-Dunn logic

  Norihiro Kamide

  Relevance Logics and other Tools for Reasoning: Essays in Honor of J. Michael Dunn (Katalin Bimbo editor), Tribute Series 46 237 - 260 2022年 [査読有り]
  
• Inconsistency-Tolerant Hierarchical Probabilistic CTL Model Checking: Logical Foundations and Illustrative Examples.

  Norihiro Kamide

  Int. J. Softw. Eng. Knowl. Eng. 32 1 131 - 162 2022年 [査読有り]
  
• Falsification-aware Semantics for CTL and Its Inconsistency-tolerant Subsystem: Towards Falsification-aware Model Checking.

  Norihiro Kamide; Seidai Kanbe

  Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART 2022) 3 242 - 252 2022年 [査読有り]
  
• Reasoning with Inconsistency-tolerant Fuzzy Description Logics.

  Norihiro Kamide

  Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART 2022) 3 63 - 74 2022年 [査読有り]
  
• Falsification-Aware Semantics and Sequent Calculi for Classical Logic.

  Norihiro Kamide

  J. Philos. Log. 51 1 99 - 126 2022年 [査読有り]
  
• Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi.

  Norihiro Kamide

  Studia Logica 109 6 1241 - 1271 2021年 [査読有り]
  
• Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation.

  Norihiro Kamide

  Journal of Applied Logics - The IfCoLoG Journal of Logics and their Applications 8 5 1101 - 1122 2021年 [査読有り]
  
• Notes on Avron's Self-extensional Four-valued Paradefinite Logic

  Norihiro Kamide

  Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic 43 - 49 2021年 [査読有り]
  
• Symmetric Paraconsistent Quantum Logic

  Norihiro Kamide

  Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic 26 - 32 2021年 [査読有り]
  
• Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems.

  Norihiro Kamide

  J. Philos. Log. 50 4 781 - 811 2021年 [査読有り]
  
• Modal and Intuitionistic Variants of Extended Belnap-Dunn Logic with Classical Negation.

  Norihiro Kamide

  J. Log. Lang. Inf. 30 3 491 - 531 2021年 [査読有り]
  
• Inconsistency-tolerant Hierarchical Probabilistic Computation Tree Logic and Its Application to Model Checking.

  Norihiro Kamide; Noriko Yamamoto

  Proceedings of the 13th International Conference on Agents and Artificial Intelligence 490 - 499 2021年 [査読有り]
  
• Completeness of Subtrilattice Logic.

  Norihiro Kamide

  Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic 279 - 284 2020年 [査読有り]
  
• Sequential Fuzzy Description Logic: Reasoning for Fuzzy Knowledge Bases with Sequential Information.

  Norihiro Kamide

  Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic 218 - 223 2020年 [査読有り]
  
• Correction to: Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion.

  Norihiro Kamide

  J. Philos. Log. 49 6 1213 - 1213 2020年 [査読有り]
  
• Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion.

  Norihiro Kamide

  J. Philos. Log. 49 6 1185 - 1212 2020年 [査読有り]
  
• An Extended Description Logic for Inconsistency-tolerant Ontological Reasoning with Sequential Information.

  Norihiro Kamide

  Proceedings of the 12th International Conference on Agents and Artificial Intelligence 313 - 321 2020年 [査読有り]
  
• Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic.

  Norihiro Kamide; Yoni Zohar

  Stud Logica 108 3 549 - 571 2020年 [査読有り]
  
• Modal extension of ideal paraconsistent four-valued logic and its subsystem.

  Norihiro Kamide; Yoni Zohar

  Ann. Pure Appl. Log. 171 10 102830 - 102830 2020年 [査読有り]
  
• Some Properties for First-order Nelsonian Paraconsistent Quantum Logic.

  Norihiro Kamide

  Journal of Applied Logics - The IfCoLoG Journal of Logics and their Applications 7 1 59 - 88 2020年 [査読有り]
  
• Bi-classical connexive logic and its modal extension: Cut-elimination, completeness and duality

  Norihiro Kamide

  Logic and Logical Philosophy 28 3 481 - 511 2019年 [査読有り]
  
• First-Order Nelsonian Paraconsistent Quantum Logic.

  Norihiro Kamide

  Proceedings of the 49th IEEE International Symposium on Multiple-Valued Logic 176 - 181 2019年 [査読有り]
  
• Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic.

  Norihiro Kamide; Yoni Zohar

  Proceedings of the 49th IEEE International Symposium on Multiple-Valued Logic 120 - 125 2019年 [査読有り]
  
• Towards Locative Inconsistency-tolerant Hierarchical Probabilistic CTL Model Checking: Survey and Future Work.

  Norihiro Kamide; Juan Pedro Altamirano Bernal

  Proceedings of the 11th International Conference on Agents and Artificial Intelligence 869 - 878 2019年 [査読有り]
  
• Towards Hierarchical Probabilistic CTL Model Checking: Theoretical Foundations.

  Norihiro Kamide; Yuki Yano

  Proceedings of the 11th International Conference on Agents and Artificial Intelligence 762 - 769 2019年 [査読有り]
  
• An Extended Paradefinte Belnap-Dunn Logic that is Embeddable into Classical Logic and Vice Versa.

  Norihiro Kamide

  Proceedings of the 11th International Conference on Agents and Artificial Intelligence 377 - 387 2019年 [査読有り]
  
• A Substructural View of Multilattice Logic.

  Norihiro Kamide

  Multiple-Valued Logic and Soft Computing 33 3 239 - 270 2019年 [査読有り]
  
• Gentzen-Type Sequent Calculi for Extended Belnap-Dunn Logics with Classical Negation: A General Framework.

  Norihiro Kamide

  Logica Universalis 13 1 37 - 63 2019年 [査読有り]
  
• Yet another paradefinite logic: The role of conflation.

  Norihiro Kamide; Yoni Zohar

  Log. J. IGPL 27 1 93 - 117 2019年 [査読有り]
  
• Proof Theory of Paraconsistent Quantum Logic

  Norihiro Kamide

  Journal of Philosophical Logic 47 2 301 - 324 2018年04月 [査読有り]
  
• Foundations of Inconsistency-Tolerant Model Checking: Logics, Translations, and Examples.

  Norihiro Kamide; Kazuki Endo

  Agents and Artificial Intelligence - 10th International Conference, ICAART 2018, Funchal, Madeira, Portugal, January 16-18, 2018, Revised Selected Papers 312 - 342 Springer 2018年 [査読有り]
  
• Logics and Translations for Inconsistency-tolerant Model Checking.

  Norihiro Kamide; Kazuki Endo

  Proceedings of the 10th International Conference on Agents and Artificial Intelligence, ICAART 2018, Volume 2, Funchal, Madeira, Portugal, January 16-18, 2018. 191 - 200 SciTePress 2018年 [査読有り]
  
• Logical foundations of hierarchical model checking.

  Norihiro Kamide

  Data Techn. and Applic. 52 4 539 - 563 2018年 [査読有り]
  
• Extending paraconsistent quantum logic: a single-antecedent/succedent system approach.

  Norihiro Kamide

  Math. Log. Q. 64 4-5 371 - 386 2018年 [査読有り]
  
• Decidable temporal and sequential relevant logics.

  Norihiro Kamide

  J. Log. Comput. 28 2 403 - 432 2018年 [査読有り]
  
• Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant

  Norihiro Kamide; Yaroslav Shramko; Heinrich Wansing

  STUDIA LOGICA 105 6 1193 - 1219 2017年12月 [査読有り]
  
• Paraconsistent Double Negations as Classical and Intuitionistic Negations

  Norihiro Kamide

  STUDIA LOGICA 105 6 1167 - 1191 2017年12月 [査読有り]
  
• Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic

  Norihiro Kamide

  JOURNAL OF LOGIC AND COMPUTATION 27 7 2271 - 2301 2017年10月 [査読有り]
  
• Modal Multilattice Logic

  Norihiro Kamide; Yaroslav Shramko

  Logica Universalis 11 3 317 - 343 2017年09月 [査読有り]
  
• Embedding from multilattice logic into classical logic and vice versa

  Norihiro Kamide; Yaroslav Shramko

  JOURNAL OF LOGIC AND COMPUTATION 27 5 1549 - 1575 2017年07月 [査読有り]
  
• Logics with definitional reflection rules

  Norihiro Kamide

  JOURNAL OF LOGIC AND COMPUTATION 27 5 1523 - 1548 2017年07月 [査読有り]
  
• Natural Deduction for Connexive Paraconsistent Quantum Logic

  Norihiro Kamide

  Proceedings of The International Symposium on Multiple-Valued Logic 207 - 212 2017年06月 [査読有り]
  
• Extending Ideal Paraconsistent Four-Valued Logic

  Norihiro Kamide

  Proceedings of The International Symposium on Multiple-Valued Logic 49 - 54 2017年06月 [査読有り]
  
• Phase Semantics for Multilattice Formalism

  Norihiro Kamide

  Proceedings of The International Symposium on Multiple-Valued Logic 31 - 36 2017年06月 [査読有り]
  
• Paraconsistent sequential linear-time temporal logic and its application to clinical reasoning verification: A brief survey and future work

  Norihiro Kamide; Yosuke Matsuo; Mitsuhiro Ogawa

  International Journal of Applied & Experimental Mathematics 2 2 1 - 2 2017年
• PARACONSISTENT SEQUENTIAL LINEAR-TIME TEMPORAL LOGIC: COMBINING PARACONSISTENCY AND SEQUENTIALITY IN TEMPORAL REASONING

  Norihiro Kamide

  REPORTS ON MATHEMATICAL LOGIC 52 3 - 44 2017年 [査読有り]
  
• An extended first-order belnap-dunn logic with classical negation

  Norihiro Kamide; Hitoshi Omori

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10445 79 - 93 2017年 [査読有り]
  
• Logics and translations for hierarchical model checking

  Norihiro Kamide; Ryu Yano

  Procedia Computer Science 112 31 - 40 2017年 [査読有り]
  
• Paraconsistent double negation as a modal operator

  Norihiro Kamide

  MATHEMATICAL LOGIC QUARTERLY 62 6 552 - 562 2016年12月 [査読有り]
  
• Method for combining paraconsistency and probability in temporal reasoning

  Norihiro Kamide; Daiki Koizumi

  Journal of Advanced Computational Intelligence and Intelligent Informatics 20 5 813 - 827 2016年09月 [査読有り]
  
• A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics

  Norihiro Kamide

  MATHEMATICAL LOGIC QUARTERLY 62 3 177 - 189 2016年05月 [査読有り]
  
• Bunched sequential information

  Norihiro Kamide

  JOURNAL OF APPLIED LOGIC 15 150 - 170 2016年05月 [査読有り]
  
• Cut-Free Systems for Restricted Bi-Intuitionistic Logic and Its Connexive Extension

  Norihiro Kamide

  2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016) 137 - 142 2016年 [査読有り]
  
• Paraconsistent Double Negation That Can Simulate Classical Negation

  Norihiro Kamide

  2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016) 131 - 136 2016年 [査読有り]
  
• Duality in Some Intuitionistic Paraconsistent Logics.

  Norihiro Kamide

  Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), Volume 2, Rome, Italy, February 24-26, 2016. 288 - 297 SciTePress 2016年 [査読有り]
  
• Intuitionistic De Morgan Verification and Falsification Logics.

  Norihiro Kamide

  Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), Volume 2, Rome, Italy, February 24-26, 2016. 233 - 240 SciTePress 2016年 [査読有り]
  
• Completeness of Connexive Heyting-Brouwer Logic.

  Norihiro Kamide; Heinrich Wansing

  FLAP 3 3 441 - 466 2016年 [査読有り]
  
• Inconsistency-tolerant temporal reasoning with hierarchical information

  Norihiro Kamide

  INFORMATION SCIENCES 320 140 - 155 2015年11月 [査読有り]
  
• Trilattice logic: an embedding-based approach

  Norihiro Kamide

  JOURNAL OF LOGIC AND COMPUTATION 25 3 581 - 611 2015年06月 [査読有り]
  
• Interpolation theorems for some variants of LTL

  Norihiro Kamide

  Reports on Mathematical Logic 50 3 - 20 2015年 [査読有り]
  
• A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning

  Norihiro Kamide

  LOGIC, RATIONALITY, AND INTERACTION (LORI 2015) 9394 182 - 194 2015年 [査読有り]
  
• Single-succedent system approach to Boolean BI

  Norihiro Kamide

  KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS 19TH ANNUAL CONFERENCE, KES-2015 60 27 - 36 2015年 [査読有り]
  
• Combining Paraconsistency and Probability in CTL.

  Norihiro Kamide; Daiki Koizumi

  ICAART 2015 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January, 2015. 285 - 293 SciTePress 2015年 [査読有り]
  
• Inconsistency and Sequentiality in LTL.

  Norihiro Kamide

  ICAART 2015 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January, 2015. 46 - 54 SciTePress 2015年 [査読有り]
  
• Embedding theorems for LTL and its variants

  Norihiro Kamide

  MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 25 1 83 - 134 2015年01月 [査読有り]
  
• Reasoning in Medical and Tutoring Systems: A Decidable First-Order Temporal Paraconsistent Non-Commutative Logic.

  Norihiro Kamide

  Int. J. Software and Informatics 9 1 73 - 92 2015年 [査読有り]
  
• Inconsistency-Tolerant Multi-Agent Calculus

  Norihiro Kamide

  INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS 22 6 815 - 829 2014年12月 [査読有り]
  
• AN EIGHT-VALUED PRACONSISTENT LOGIC

  Norihiro Kamide

  REPORTS ON MATHEMATICAL LOGIC 49 3 - 21 2014年 [査読有り]
  
• A Hierarchy of Weak Double Negations

  Norihiro Kamide

  STUDIA LOGICA 101 6 1277 - 1297 2013年12月 [査読有り]
  
• Representing any-time and program-iteration by infinitary conjunction

  Norihiro Kamide

  Journal of Applied Non-Classical Logics 23 3 284 - 298 2013年07月 [査読有り]
  
• Temporal BI: Proof system, semantics and translations

  Norihiro Kamide

  THEORETICAL COMPUTER SCIENCE 492 40 - 69 2013年06月 [査読有り]
  
• Temporal Gödel-Gentzen and Girard translations.

  Norihiro Kamide

  Math. Log. Q. 59 1-2 66 - 83 2013年02月 [査読有り]
  
• Strong normalization in some temporal substructural logics

  Norihiro Kamide

  JOURNAL OF LOGIC AND COMPUTATION 23 1 1 - 24 2013年02月 [査読有り]
  
• Inconsistency-tolerant bunched implications

  Norihiro Kamide

  INTERNATIONAL JOURNAL OF APPROXIMATE REASONING 54 2 343 - 353 2013年02月 [査読有り]
  
• A comparison of paraconsistent description logics

  Norihiro Kamide

  International Journal of Intelligence Science 3 2 99 - 109 2013年 [査読有り]
  
• An extended LTL for inconsistency-tolerant reasoning with hierarchical information: Verifying students' learning processes

  Norihiro Kamide

  International Journal of e-Education, e-Business, e-Management and e-Learning 3 3 234 - 238 2013年 [査読有り]
  
• Formalizing Inconsistency-Tolerant Relevant Human Reasoning: A Decidable Paraconsistent Relevant Logic with Constructible Falsity

  Norihiro Kamide

  2013 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2013) 1865 - 1870 2013年 [査読有り]
  
• Modeling and verifying inconsistency-tolerant temporal reasoning with hierarchical information: Dealing with students' learning processes

  Norihiro Kamide

  Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013 1859 - 1864 2013年 [査読有り]
  
• The logic of information merge and sequential information

  Norihiro Kamide

  Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013 1853 - 1858 2013年 [査読有り]
  
• Embedding-based methods for trilattice logic

  Norihiro Kamide

  Proceedings of The International Symposium on Multiple-Valued Logic 237 - 242 2013年 [査読有り]
  
• On natural eight-valued reasoning

  Norihiro Kamide

  Proceedings of The International Symposium on Multiple-Valued Logic 231 - 236 2013年 [査読有り]
  
• Reasoning about Resources and Information: A Linear Logic Approach

  Norihiro Kamide; Ken Kaneiwa

  FUNDAMENTA INFORMATICAE 125 1 51 - 70 2013年 [査読有り]
  
• Embedding-based approaches to paraconsistent and temporal description logics*

  Norihiro Kamide

  JOURNAL OF LOGIC AND COMPUTATION 22 5 1097 - 1124 2012年10月 [査読有り]
  
• Bounded linear-time temporal logic: A proof-theoretic investigation

  Norihiro Kamide

  ANNALS OF PURE AND APPLIED LOGIC 163 4 439 - 466 2012年04月 [査読有り]
  
• Combining intuitionistic logic with paraconsistent operators

  Norihiro Kamide

  Logique et Analyse 55 217 1 - 15 2012年 [査読有り]
  
• Reasoning about context information in cloud computing environments

  Norihiro Kamide; Yishui Zhu

  Journal of Software Engineering and Applications 5 11 944 - 951 2012年 [査読有り]
  
• Proof theory of Nelson's paraconsistent logic: A uniform perspective

  Norihiro Kamide; Heinrich Wansing

  THEORETICAL COMPUTER SCIENCE 415 1 - 38 2012年01月 [査読有り]
  
• Reasoning about Time-Dependent Multi-agents: Foundations of Theorem Proving and Model Checking.

  Norihiro Kamide

  Trans. Computational Collective Intelligence 6 181 - 201 Springer 2012年 [査読有り]
  
• STRONG NORMALIZATION OF A TYPED LAMBDA CALCULUS FOR INTUITIONISTIC BOUNDED LINEAR-TIME TEMPORAL LOGIC

  Norihiro Kamide

  REPORTS ON MATHEMATICAL LOGIC 47 29 - 61 2012年 [査読有り]
  
• Paraconsistent Computation Tree Logic

  Ken Kaneiwa; Norihiro Kamide

  NEW GENERATION COMPUTING 29 4 391 - 408 2011年10月 [査読有り]
  
• Synchronized Linear-Time Temporal Logic

  Heinrich Wansing; Norihiro Kamide

  STUDIA LOGICA 99 1-3 365 - 388 2011年10月 [査読有り]
  
• Completeness and cut-elimination theorems for trilattice logics

  Norihiro Kamide; Heinrich Wansing

  ANNALS OF PURE AND APPLIED LOGIC 162 10 816 - 835 2011年10月 [査読有り]
  
• Notes on Craig interpolation for LJ with strong negation

  Norihiro Kamide

  MATHEMATICAL LOGIC QUARTERLY 57 4 395 - 399 2011年08月 [査読有り]
  
• CUT-ELIMINATION AND COMPLETENESS IN DYNAMIC TOPOLOGICAL AND LINEAR-TIME TEMPORAL LOGICS

  Norihiro Kamide

  LOGIQUE ET ANALYSE 54 215 379 - 394 2011年07月 [査読有り]
  
• Conceptual Modeling in Full Computation-Tree Logic with Sequence Modal Operator

  Ken Kaneiwa; Norihiro Kamide

  INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS 26 7 636 - 651 2011年07月 [査読有り]
  
• Phase semantics for linear-time formalism

  Norihiro Kamide

  LOGIC JOURNAL OF THE IGPL 19 1 121 - 143 2011年02月 [査読有り]
  
• Connexive modal logic based on positive S4

  Norihiro Kamide; Heinrich Wansing

  Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday, (Jean-Yves Beziau and Marcelo Esteban Coniglio, eds.) 17 389 - 410 2011年 [査読有り]
  
• Reasoning about resource-sensitive multi-agents

  Norihiro Kamide

  Multi-Agent Systems: Modeling, Control, Programming, Simulations and Applications, Faisal Alkhateeb, Eslam Al Maghayreh and Iyad Abu Doush (Eds.) 143 - 158 2011年 [査読有り]
  
• Paraconsistent Semantics for Description Logics: A Comparison

  Norihiro Kamide

  KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I 6881 599 - 608 2011年 [査読有り]
  
• Interpolation Theorems for Some Extended Description Logics

  Norihiro Kamide

  KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT II 6882 246 - 255 2011年 [査読有り]
  
• A Decidable First-Order Logic for Medical Reasoning

  Norihiro Kamide

  KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT II 6882 235 - 245 2011年 [査読有り]
  
• On Temporal Gödel-Gentzen Translation.

  Norihiro Kamide

  Knowlege-Based and Intelligent Information and Engineering Systems - 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part II 225 - 234 Springer 2011年 [査読有り]
  
• A logic of sequences.

  Norihiro Kamide

  Reports on Mathematical Logic 46 29 - 57 2011年 [査読有り]
  
• Concept finding proofs

  Norihiro Kamide

  Journal of Advanced Computational Intelligence and Intelligent Informatics 15 7 777 - 784 2011年 [査読有り]
  
• A Paraconsistent Linear-time Temporal Logic

  Norihiro Kamide; Heinrich Wansing

  FUNDAMENTA INFORMATICAE 106 1 1 - 23 2011年 [査読有り]
  
• Intuitionistic Trilattice Logics

  Heinrich Wansing; Norihiro Kamide

  JOURNAL OF LOGIC AND COMPUTATION 20 6 1201 - 1229 2010年12月 [査読有り]
  
• Combining linear-time temporal logic with constructiveness and paraconsistency

  Norihiro Kamide; Heinrich Wansing

  JOURNAL OF APPLIED LOGIC 8 1 33 - 61 2010年03月 [査読有り]
  
• Strong normalization theorems for quantized lambda calculi

  Norihiro Kamide

  Far East Journal of Applied Mathematics 44 1 1 - 35 2010年 [査読有り]
  
• Notes on an extension of Davies' logic for binding-time analysis

  Norihiro Kamide

  Far East Journal of Applied Mathematics 44 1 37 - 57 2010年 [査読有り]
  
• Strong normalization of program-indexed lambda calculus

  Norihiro Kamide

  Bulletin of the Section of Logic 39 1 65 - 78 2010年 [査読有り]
  
• Symmetric and dual paraconsistent logics

  Norihiro Kamide; Heinrich Wansing

  Logic and Logical Philosophy 19 1 7 - 30 2010年 [査読有り]
  
• Sequential description logic

  Norihiro Kamide

  Far East Journal of Applied Mathematic 47 1 1 - 10 2010年 [査読有り]
  
• An embedding-based completeness proof for Nelson's paraconsistent logic

  Norihiro Kamide

  Bulletin of the Section of Logic 39 3 205 - 214 2010年 [査読有り]
  
• A Logic for Conceptual Hierarchies

  Norihiro Kamide

  ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2010 6404 303 - 312 2010年 [査読有り]
  
• A Proof System for Temporal Reasoning with Sequential Information

  Norihiro Kamide

  ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2010 6404 283 - 292 2010年 [査読有り]
  
• A Sequent Calculus for 3-Dimensional Space

  Norihiro Kamide

  ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2010 6404 263 - 272 2010年 [査読有り]
  
• A Proof System for Time-Dependent Multi-agents

  Norihiro Kamide

  KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I 6276 178 - 187 2010年 [査読有り]
  
• A Logic for Incomplete Sequential Information

  Norihiro Kamide

  KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT II 6277 153 - 162 2010年 [査読有り]
  
• REASONING ABOUT BOUNDED TIME DOMAIN An Alternative to NP-Complete Fragments of LTL

  Norihiro Kamide

  ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1: ARTIFICIAL INTELLIGENCE 536 - 539 2010年 [査読有り]
  
• BRANCHING-TIME VERSUS LINEAR-TIME A Cooperative and Feasible Approach

  Norihiro Kamide

  ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1: ARTIFICIAL INTELLIGENCE 522 - 526 2010年 [査読有り]
  
• PARACONSISTENT NEGATION AND CLASSICAL NEGATION IN COMPUTATION TREE LOGIC

  Norihiro Kamide; Ken Kaneiwa

  ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1: ARTIFICIAL INTELLIGENCE 464 - 469 2010年 [査読有り]
  
• A Compatible Approach to Temporal Description Logics.

  Norihiro Kamide

  Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010 CEUR-WS.org 2010年 [査読有り]
  
• Paraconsistent Description Logics Revisited.

  Norihiro Kamide

  Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010 CEUR-WS.org 2010年 [査読有り]
  
• AUTOMATING AND COMPUTING PARACONSISTENT REASONING: CONTRACTION-FREE, RESOLUTION AND TYPE SYSTEMS

  Norihiro Kamide

  REPORTS ON MATHEMATICAL LOGIC 45 3 - 21 2010年 [査読有り]
  
• Completeness for Generalized First-Order LTL

  Norihiro Kamide

  KI 2010: ADVANCES IN ARTIFICIAL INTELLIGENCE 6359 246 - 254 2010年 [査読有り]
  
• Resource-Sensitive Reasoning with Sequential Information.

  Norihiro Kamide; Ken Kaneiwa

  AI 2010: Advances in Artificial Intelligence - 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings 22 - 31 Springer 2010年 [査読有り]
  
• SEQUENCE-INDEXED LINEAR-TIME TEMPORAL LOGIC: PROOF SYSTEM AND APPLICATION

  Ken Kaneiwa; Norihiro Kamide

  APPLIED ARTIFICIAL INTELLIGENCE 24 10 896 - 913 2010年 [査読有り]
  
• SEQUENT CALCULI FOR SOME TRILATTICE LOGICS

  Norihiro Kamide; Heinrich Wansing

  REVIEW OF SYMBOLIC LOGIC 2 2 374 - 395 2009年06月 [査読有り]
  
• Proof systems combining classical and paraconsistent negations

  Norihiro Kamide

  Studia Logica 91 2 217 - 238 2009年03月 [査読有り]
  
• Strong normalization of program-indexed lambda calculus

  Norihiro Kamide

  Bulletin of the Section of Logic 39 1月2日 65 - 78 2009年 [査読有り]
  
• Temporal non-commutative logic: Expressing time, resource, order and hierarchy

  Norihiro Kamide

  Logic and Logical Philosophy 18 97 - 126 2009年 [査読有り]
  
• Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures.

  Norihiro Kamide; Ken Kaneiwa

  AI 2009: Advances in Artificial Intelligence, 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings 485 - 494 Springer 2009年 [査読有り]
  
• Dynamic non-commutative logic

  Norihiro Kamide

  Journal of Logic, Language and Information 19 1 33 - 51 2009年01月 [査読有り]
  
• Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic

  Norihiro Kamide

  COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS 5405 57 - 76 2009年 [査読有り]
  
• A linear logic based approach to timed Petri nets

  Norihiro Kamide

  Petri Net--Theory and Applications 207 - 224 2008年 [査読有り]
  
• Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials

  Norihiro Kamide

  LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS 5293 245 - 257 2008年 [査読有り]
  
• Strong normalizability of typed lambda-calculi for substructural logics

  Motohiko Mouri; Norihiro Kamide

  Logica Universalis 2 2 189 - 207 2008年 [査読有り]
  
• Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning

  Norihiro Kamide

  Reports on Mathematical Logic 52 3 - 44 2007年 [査読有り]
  
• Temporalizing linear logic

  Norihiro Kamide

  Bulletin of the Section of Logic 36 3月4日 173 - 182 2007年 [査読有り]
  
• Natural deduction systems for some non-commutative logics

  Norihiro Kamide; Motohiko Mouri

  Logic and Logical Philosophy 16 2月3日 105 - 146 2007年 [査読有り]
  
• Synthesized substructural logics

  Norihiro Kamide

  MATHEMATICAL LOGIC QUARTERLY 53 3 219 - 225 2007年 [査読有り]
  
• A Uniform Proof-theoretic Foundation for Abstract Paraconsistent Logic Programming.

  Norihiro Kamide

  Journal of Functional and Logic Programming 2007 2007年 [査読有り]
  
• Towards a theory of resource: An approach based on soft exponentials

  Norihiro Kamide

  Journal of Applied Non-Classical Logics 17 1 63 - 89 2007年 [査読有り]
  
• Phase semantics and petri net interpretation for resource-sensitive strong negation

  Norihiro Kamide

  Journal of Logic, Language and Information 15 4 371 - 401 2006年11月 [査読有り]
  
• Foundations of paraconsistent resolution

  Norihiro Kamide

  FUNDAMENTA INFORMATICAE 71 4 419 - 441 2006年06月 [査読有り]
  
• Linear and affine logics with temporal, spatial and epistemic operators

  N Kamide

  THEORETICAL COMPUTER SCIENCE 353 1-3 165 - 207 2006年03月 [査読有り]
  
• An equivalence between sequent calculi for linear-time temporal logic

  Norihiro Kamide

  Bulletin of the Section of Logic 35 4 187 - 194 2006年 [査読有り]
  
• Extended full computation-tree logics for paraconsistent model checking

  Norihiro Kamide

  Logic and Logical Philosophy 15 3 251 - 276 2006年
• Gentzen-type methods for bilattice negation

  Norihiro Kamide

  Studia Logica 80 2-3 265 - 289 2005年08月 [査読有り]
  
• Gentzen-type calculi for involutive quantales

  N Kamide

  INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS 44 4 399 - 428 2005年04月
• Linear logics with communication-merge

  N Kamide

  JOURNAL OF LOGIC AND COMPUTATION 15 1 3 - 20 2005年02月 [査読有り]
  
• A cut-free system for 16-valued reasoning

  Norihiro Kamide

  Bulletin of the Section of Logic 34 4 213 - 225 2005年 [査読有り]
  
• Cut-free single-succedent systems revisited

  Norihiro Kamide

  Bulletin of the Section of Logic 34 3 165 - 175 2005年 [査読有り]
  
• On a logic of involutive quantales

  N Kamide

  MATHEMATICAL LOGIC QUARTERLY 51 6 579 - 585 2005年 [査読有り]
  
• A spatial modal logic with a location interpretation

  N Kamide

  MATHEMATICAL LOGIC QUARTERLY 51 4 331 - 341 2005年 [査読有り]
  
• Natural deduction systems for Nelson's paraconsistent logic and its neighbors

  Norihiro Kamide

  Journal of Applied Non-Classical Logics 15 4 405 - 435 2005年 [査読有り]
  
• Combining soft linear logic and spatio-temporal operators

  N Kamide

  JOURNAL OF LOGIC AND COMPUTATION 14 5 625 - 650 2004年10月 [査読有り]
  
• A relationship between Rauszer's H-B logic and Nelson's logic

  Norihiro Kamide

  Bulletin of the Section of Logic 33 4 237 - 249 2004年 [査読有り]
  
• Quantized Linear Logic, Involutive Quantales and Strong Negation.

  Norihiro Kamide

  Studia Logica 77 3 355 - 384 2004年 [査読有り]
  
• Normal modal substructural logics with strong negation

  N Kamide

  JOURNAL OF PHILOSOPHICAL LOGIC 32 6 589 - 612 2003年12月 [査読有り]
  
• A simplified semantics for a fragment of intuitionistic linear logic

  Norihiro Kamide

  Bulletin of the Section of Logic 32 3 121 - 127 2003年 [査読有り]
  
• A note on dual-intuitionistic logic

  N Kamide

  MATHEMATICAL LOGIC QUARTERLY 49 5 519 - 524 2003年 [査読有り]
  
• Classical linear logics with mix separation principle

  N Kamide

  MATHEMATICAL LOGIC QUARTERLY 49 2 201 - 209 2003年 [査読有り]
  
• Relevance principle for substructural logics with mingle and strong negation

  N Kamide

  JOURNAL OF LOGIC AND COMPUTATION 12 6 913 - 928 2002年12月 [査読有り]
  
• Sequent calculi for intuitionistic linear logic with strong negation

  N Kamide

  LOGIC JOURNAL OF THE IGPL 10 6 653 - 678 2002年11月 [査読有り]
  
• A Canonical Model Construction for Substructural Logics with Strong Negation.

  Norihiro Kamide

  Reports on Mathematical Logic 36 95 - 116 2002年 [査読有り]
  
• Kripke semantics for modal substructural logics

  Norihiro Kamide

  Journal of Logic, Language and Information 11 4 453 - 470 2002年 [査読有り]
  
• Substructural Logics with Mingle

  Norihiro Kamide

  Journal of Logic, Language and Information 11 2 227 - 249 2002年 [査読有り]
  
• A note on decision problems for implicational sequent calculi

  Norihiro Kamide

  Bulletin of the Section of Logic 30 3 129 - 138 2001年 [査読有り]
  
• Cut elimination theorems and a canonical model construction for some implicational substructural logics

  Norihiro Kamide

  Scientiae Mathematicae Japonicae 54 2 249 - 257 2001年 [査読有り]
  
• Substructural implicational logics including the relevant logic

  Ryo Kashima; Norihiro Kamide

  Studia Logica 63 2 181 - 212 1999年 [査読有り]
  

共同研究・競争的資金等の研究課題

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

  日本学術振興会：科学研究費助成事業 基盤研究(C)

  研究期間 : 2023年04月 -2028年03月 

  代表者 : 上出 哲広
• 拡張矛盾許容推論技術とその臨床推論・知識検証への応用

  公益財団法人高橋産業経済研究財団研究助成金

  研究期間 : 2022年04月 -2023年03月 

  代表者 : 上出哲広, 小川充洋
• 非古典論理の基礎理論とそのコンピュータサイエンスへの応用

  科学研究費補助金（基盤研究C）

  研究期間 : 2018年04月 -2023年03月 

  代表者 : 上出哲広
• 拡張矛盾許容モデル検査技術の開発と臨床推論・知識検証技法の確立

  一般財団法人日本産業科学研究所研究助成金：

  研究期間 : 2020年11月 -2021年03月 

  代表者 : 上出哲広
• 埋め込み定理に基づく新しい矛盾許容論理に関する研究

  科学研究費補助金（国際協同研究加速基金）

  研究期間 : 2018年04月 -2021年03月 

  代表者 : 上出哲広
• 矛盾許容モデル検査の基礎と応用

  栢森情報科学振興財団助成金

  研究期間 : 2018年01月 -2019年12月 

  代表者 : 上出哲広
• 知識推論システムの論理的基礎付け

  科学研究費補助金（基盤研究C）

  研究期間 : 2014年04月 -2019年03月 

  代表者 : 上出哲広
• 矛盾許容時間論理とその応用

  大川情報通信基金研究助成金

  研究期間 : 2015年04月 -2016年03月 

  代表者 : 上出哲広
• Non-classical logics and their applications to computer science

  Alexander von Humboldt Foundation 研究奨励金（Alumni Research Stay Program）

  研究期間 : 2013年08月 -2014年07月 

  代表者 : 上出哲広

   

  職務の都合により辞退.
• Studia Logica International Conference on Advances in Philosophical Logic

  Alexander von Humboldt Foundation 招待講演発表補助金

  研究期間 : 2012年05月 -2012年05月 

  代表者 : 上出哲広
• 部分構造論理とその情報科学への応用

  日本学術振興会：科学研究費助成事業 若手研究(B)

  研究期間 : 2008年 -2011年 

  代表者 : 上出 哲広

   

  部分構造論理を含む非古典論理のセマンティクスおよび証明システムを構築し,非古典論理の理論基盤を整備するとともに情報科学への新たな応用を提案した.時間論理およびパラコンシステント論理に対する証明システムおよびセマンティクスを構築するとともに,それらのソフトウェア科学および人工知能への新たな応用を提案した.時間論理に関する研究では,ソフトウェア検証手法の一つであるモデル検査に関する基礎を与えた.パラコンシステント論理に関する研究では, Webオントロジー言語の基礎を与えるためのいくつかの拡張論理を提案し,それらの基本的性質を明らかにした.
• Proof systems for substructural logics: Cut-elimination, normalization and completeness

  Alexander von Humboldt Foundation 研究奨励金

  研究期間 : 2008年 -2009年 

  代表者 : 上出哲広
• Proof systems for substructural logics: Cut-elimination, normalization and completeness

  日本学術振興会海外渡航補助金

  研究期間 : 2008年 -2008年 

  代表者 : 上出哲広
• 部分構造論理とそのソフトウェア記述への応用

  科学研究費補助金（日本学術振興会特別研究員奨励費）

  研究期間 : 2003年04月 -2006年03月 

  代表者 : 上出哲広

委員歴

• 2023年 - 現在   The 16th International Conference on Agents and Artificial Intelligence   プログラム委員
• 2022年 - 現在   The 53rd IEEE International Symposium on Multiple-Valued Logic プログラム委員
• 2016年 - 現在   International Journal of Applied & Experimental Mathematics   編集委員
• 2012年 - 現在   Bulletin of the Section of Logic   編集委員
• 2022年 - 2023年   The 15th International Conference on Agents and Artificial Intelligence プログラム委員
• 2021年 - 2022年   The 52nd IEEE International Symposium on Multiple-Valued Logic プログラム委員
• 2021年 - 2022年   The 14th International Conference on Agents and Artificial Intelligence プログラム委員
• 2020年 - 2022年   The 10th International Conference on Non-Classical Logics. Theory and Applications   プログラム委員
• 2015年 - 2022年   Far East Journal of Applied Mathematics   編集委員
• 2020年 - 2021年   The 13th International Conference on Agents and Artificial Intelligence プログラム委員
• 2020年 - 2021年   The 51st IEEE International Symposium on Multiple-Valued Logic プログラム委員
• 2019年 - 2020年   The 50th IEEE International Symposium on Multiple-Valued Logicプログラム委員
• 2019年 - 2020年   The 12th International Conference on Agents and Artificial Intelligence   プログラム委員
• 2019年 - 2019年   The 19th IEEE International Conference on Communication Technology   プログラム委員
• 2019年 - 2019年   The 2019 International Conference on Software and e-Business   プログラム委員
• 2018年 - 2019年   The 11th International Conference on Agents and Artificial Intelligence   プログラム委員
• 2018年 - 2018年   The 10th International Conference on Agents and Artificial Intelligence   プログラム委員
• 2018年 - 2018年   The 18th IEEE International Conference on Communication Technology   プログラム委員
• 2018年 - 2018年   The 2018 International Conference on Software and e-Business   プログラム委員
• 2017年 - 2017年   The 17th IEEE International Conference on Communication Technology   プログラム委員
• 2017年 - 2017年   The 2017 International Conference on Software and e-Business   プログラム委員
• 2013年 - 2016年   The Scientific World Journal: Mathematical Logic Subject Area   編集委員
• 2015年 - 2015年   The 2015 4th International Conference on Knowledge and Education Technology   プログラム委員
• 2014年 - 2014年   The 2014 3rd International Conference on Knowledge and Education Technology   プログラム委員
• 2013年 - 2013年   The 2013 2nd International Conference on Knowledge and Education Technology   プログラム委員
• 2011年 - 2013年   Far East Journal of Applied Mathematics   編集委員

その他のリンク

researchmap

https://researchmap.jp/read0195280