連絡先
メールアドレス
経歴・所属学会・専門分野・研究テーマ
経歴
帝京技術科学大学情報学部情報工学科卒業
北陸先端科学技術大学院大学情報科学研究科博士後期課程修了（博士・情報科学）
和歌山工業高等専門学校電気工学科（助手）
慶應義塾大学文学研究科（学術振興会特別研究員PD）
産業技術総合研究所（研究員）
早稲田大学高等研究所（助教）
Dresden University of Technology (Alexander von Humboldt Fellow)
早稲田大学高等研究所（准教授）
サイバー大学IT総合学部（准教授）
帝京大学理工学部ヒューマン情報システム学科（准教授）
帝京大学理工学部情報電子工学科（准教授）現職
所属学会
日本数学会
人工知能学会
日本ソフトウェア科学会
専門分野
情報論理学(logic in computer science).
数理論理学(mathematical logic).
哲学的論理学(philosophical logic).
人工知能(artificial intelligence).
ソフトウェア科学(software science).
理論計算機科学(theoretical computer science).
研究テーマ
非古典論理とその情報科学への応用(non-classical logics and their applications to computer science).
知識推論システムの論理的基礎付け(logical foundations of knowledge representation and reasoning systems).
矛盾許容モデル検査の基礎と応用(inconsistency-tolerant model checking and its applications).
教育方法・職務上の実績
教育方法
非常勤講師： 早稲田大学理工学術院 「Cプログラミング」(2013-2014).
非常勤講師： サイバー大学IT総合学部 「ソフトウェア工学 (eラーニング科目)」(2011-2012).
非常勤講師： 東京工業高等専門学校情報工学科 「プログラミング言語特論」(2006).
担当経験科目 (帝京大学理工学部情報電子工学科): 論理数学.
担当経験科目 (帝京大学理工学部ヒューマン情報システム学科・情報電子工学科): 幾何学.
担当経験科目 (帝京大学理工学部ヒューマン情報システム学科・情報電子工学科): 応用数学.
担当経験科目 (帝京大学理工学部ヒューマン情報システム学科・情報電子工学科): 離散幾何.
担当経験科目 (帝京大学理工学部ヒューマン情報システム学科・情報電子工学科): グラフ理論.
担当経験科目 (帝京大学理工学部ヒューマン情報システム学科・情報電子工学科): プロジェクト演習.
担当経験科目 (帝京大学理工学部ヒューマン情報システム学科・情報電子工学科): 先端科学技術序論.
担当経験科目 (帝京大学理工学部情報電子工学科): Introduction to model checking.
担当経験科目 (帝京大学大学院理工学研究科総合理工学専攻): 先端ソフトウェア工学.
担当経験科目 (帝京大学理工学部情報科学科通信教育課程): 基礎数学.
担当経験科目 (帝京大学理工学部情報科学科通信教育課程): 幾何学 (eラーニング科目).
担当経験科目 (帝京大学理工学部情報科学科通信教育課程): 応用数学 (eラーニング科目).
担当経験科目 (帝京大学理工学部情報科学科通信教育課程): グラフ理論 (eラーニング科目).
担当経験科目 (帝京大学大学院理工学研究科通信教育課程情報科学専攻): 先端ソフトウェア工学 (eラーニング科目).
担当経験科目（早稲田大学理工学術院): Cプログラミング.
担当経験科目 (サイバー大学IT総合学部): ソフトウェア開発論 (eラーニング科目).
担当経験科目 (サイバー大学IT総合学部): ソフトウェア工学 (eラーニング科目).
担当経験科目 (サイバー大学IT総合学部): データベース入門 (eラーニング科目).
担当経験科目 (サイバー大学IT総合学部): データベース論 (eラーニング科目).
担当経験科目 (サイバー大学IT総合学部): インターネット入門 (eラーニング科目).
担当経験科目 (サイバー大学IT総合学部): ITのための基礎知識 (eラーニング科目).
担当経験科目 (サイバー大学IT総合学部): コンピュータ入門 (eラーニング科目).
担当経験科目 (早稲田大学高等研究所): 身近にある先端科学(論理学の情報科学への応用).
担当経験科目 (産業技術総合研究所): モデル検査中級コース.
担当経験科目 (東京工業高等専門学校情報工学科): プログラミング言語特論.
担当経験科目 (和歌山工業高等専門学校電気工学科): 電磁気学演習.
担当経験科目 (和歌山工業高等専門学校電気工学科): 電気工学演習.
担当経験科目 (和歌山工業高等専門学校電気工学科): 電気工学実験.
担当経験科目 (和歌山工業高等専門学校電気工学科): 情報工学実験.
担当経験科目 (和歌山工業高等専門学校電気工学科): 情報処理演習.
職務上の実績
Editor: Bulletin of the Section of Logic (2012-).
Editor: Far East Journal of Applied Mathematics (2015-).
Editor: International Journal of Applied & Experimental Mathematics (2016-).
Editor: The Scientific World Journal: Mathematical Logic Subject Area (2013-2016).
Editor: Far East Journal of Applied Mathematics (2011-2013).
Committee: International Conference on Non-Classical Logics. Theory and Applications (2020-).
Committee: IEEE International Symposium on Multiple-Valued Logic (2019-).
Committee: International Conference on Agents and Artificial Intelligence (2018-).
Committee: International Conference on Software and e-Business (2017-2019).
Committee: IEEE International Conference on Communication Technology (2017-2019).
Committee: International Conference on Knowledge and Education Technology (2013-2015).
競争的研究資金： 科学研究費補助金, 基盤C, 情報学基礎分野 (2018-2023). テーマ「非古典論理の基礎理論とそのコンピュータサイエンスへの応用」.
競争的研究資金： 一般財団法人日本産業科学研究所研究助成金, 人工知能分野(2020-2021). テーマ「拡張矛盾許容モデル検査技術の開発と臨床推論・知識検証技法の確立」.
競争的研究資金： 栢森情報科学振興財団助成金, ソフトウェア科学分野 (2017-2019). テーマ「矛盾許容モデル検査の基礎と応用」.
競争的研究資金： 科学研究費補助金, 国際共同研究加速基金, 知能情報学分野 (2017-2020). テーマ「埋め込み定理に基づく新しい矛盾許容論理に関する研究」.
競争的研究資金： 大川情報通信基金研究助成金, 人工知能分野 (2015-2016). テーマ「矛盾許容時間論理とその応用」.
競争的研究資金： 科学研究費補助金, 基盤C, 知能情報学分野 (2014-2019). テーマ「知識推論システムの論理的基礎付け」.
競争的研究資金： Alexander von Humboldt Fellowship 研究費補助金, コンピュータサイエンス分野 (2013-2014, 職務の都合により内定辞退). Theme: Non-classical logics and their applications to computer science.
競争的研究資金： Alexander von Humboldt Foundation 研究発表補助金 (2012).
競争的研究資金： 科学研究費補助金, 若手B, 情報学基礎分野 (2008-2012). テーマ「部分構造論理とその情報科学への応用」.
競争的研究資金： Alexander von Humboldt Fellowship 研究費補助金, 数理論理学分野 (2008-2009). Theme: Proof systems for substructural logics: Cut-elimination, normalization and completeness.
競争的研究資金： 日本学術振興会海外渡航補助金 (2008).
競争的研究資金： 科学研究費補助金, 学術振興会特別研究員奨励費, 知能情報学分野 (2003-2006). テーマ「部分構造論理とそのソフトウェア記述への応用」.
著書・論文
論文
Norihiro Kamide
Inconsistency-tolerant hierarchical probabilistic CTL model checking: Logical foundations and illustrative examples
2022年 | International Journal of Software Engineering and Knowledge Engineering 32 (1), pp. 131-162, World Scientific, 2022.
論文
Norihiro Kamide
Falsification-aware semantics and sequent calculi for classical logic
2022年 | Journal of Philosophical Logic 51, pp. 99-126, Springer, 2022.
論文
Norihiro Kamide
Reasoning with inconsistency-tolerant fuzzy description logics
2022年 | Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Volume 3, pp. 63-74, Science and Technology Publications, 2022.
論文
Norihiro Kamide and Seidai Kanbe
Falsification-aware semantics for CTL and its inconsistency-tolerant subsystem: Towards falsification-aware model checking,
2022年02月 | Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Volume 3, pp. 242-252, Science and Technology Publications, 2022.
論文
Norihiro Kamide
Alternative multilattice logics: An approach based on monosequent and indexed monosequent calculi
2021年 | Studia Logica 109 (6), pp. 1241-1271, Springer, 2021.
論文
Norihiro Kamide
Lattice logic, bilattice logic and paraconsistent quantum logic: A unified framework based on monosequent systems
2021年 | Journal of Philosophical Logic 50, pp. 781-811, Springer, 2021.
論文
Norihiro Kamide
Modal and intuitionistic variants of extended Belnap--Dunn logic with classical negation
2021年 | Journal of Logic, Language and Information 30(3), pp. 491-531, Springer, 2021.
論文
Norihiro Kamide
Cut-elimination, completeness, and Craig interpolation theorems for Gurevich's extended first-order intuitionistic logic with strong negation
2021年 | Journal of Applied Logics: IfCoLog Journal of Logics and their Applications 8 (5), pp. 1101-1122, College Publications, 2021.
論文
Norihiro Kamide
Symmetric paraconsistent quantum logic
2021年 | Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2021), pp. 26-32, IEEE Press, 2021.
論文
Norihiro Kamide
Notes on Avron's self-extensional four-valued paradefinite logic
2021年 | Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2021), pp. 43-49, IEEE Press, 2021.
論文
Norihiro Kamide, Noriko Yamamoto
Inconsistency-tolerant hierarchical probabilistic computation tree logic and its application to model checking
2021年 | Proceedings of the 13th International Conference on Agents and Artificial Intelligence (ICAART 2021), Volume 2, pp. 490-499, Science and Technology Publications
論文
Norihiro Kamide
Sequential fuzzy description logic: Reasoning for fuzzy knowledge bases with sequential information
2020年 | Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2020), pp. 218-223, IEEE Press
論文
Norihiro Kamide
Completeness of subtrilattice logic
2020年 | Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2020), pp.279-284, IEEE Press
論文
Norihiro Kamide, Yoni Zohar
Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic
2020年 | Studia Logica 108 (3), pp.549-571, Springer
論文
Norihiro Kamide
Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
2020年 | Journal of Philosophical Logic 49 (6), pp. 1185-1212, Springer
論文
Norihiro Kamide, Yoni Zohar
Modal extension of ideal paraconsistent four-valued logic and its subsystem
2020年 | Annals of Pure and Applied Logic 171 (10), 102830, Elsevier.
論文
Norihiro Kamide
Some properties of first-order Nelsonian paraconsistent quantum logic
2020年 | Journal of Applied Logics - The IfCoLoG Journal of Logics and their Applications 7 (1), pp. 59-88, College Publications, 2020.
論文
Norihiro Kamide
An extended description logic for inconsistency-tolerant ontological reasoning with sequential information
2020年 | Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020), Volume 2, pp. 313-321, Science and Technology Publications, 2020.
論文
Norihiro Kamide
A substructural view of multilattice logic
2019年 | Journal of Multiple-Valued Logic and Soft Computing 33 (3), pp. 239-270, Old City Publishing, 2019.
論文
Norihiro Kamide
Bi-classical connexive logic and its modal extension: Cut-elimination, completeness and duality
2019年 | Logic and Logical Philosophy 28 (3), pp. 481-511, Nicolaus Copernicus University Press, 2019.
論文
Norihiro Kamide
First-order Nelsonian paraconsistent quantum logic
2019年 | Proceedings of the 49th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2019), pp. 176-181, IEEE Press, 2019.
論文
Norihiro Kamide and Yoni Zohar
Finite model property for modal ideal paraconsistent four-valued logic
2019年 | Proceedings of the 49th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2019), pp. 120-125, IEEE Press, 2019.
論文
Norihiro Kamide, Yoni Zohar
Yet another paradefinite logic: The role of conflation
2019年 | Logic Journal of the IGPL 27(1), pp. 93-117, Oxford University Press, 2019.
論文
Norihiro Kamide
Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: A general framework
2019年 | Logica Universalis 13 (1), pp. 37-63, Springer, 2019.
論文
Norihiro Kamide, Kazuki Endo
Foundations of inconsistency-tolerant model checking: Logics, translations, and examples
2019年 | Agents and Artificial Intelligence, 10th International Conference ICAART 2018 Revised Selected Papers, Lecture Notes in Artificial Intelligence 11352, pp. 1-31, Springer, 2019.
論文
Norihiro Kamide
An extended paradefinte Belnap-Dunn logic that is embeddable into classical logic and vice versa
2019年 | Proceedings of the 11th International Conference on Agents and Artificial Intelligence (ICAART 2019), Volume 2, pp. 377-387, Science and Technology Publications, 2019.
論文
Norihiro Kamide, Yuki Yano
Towards hierarchical probabilistic CTL model checking: Theoretical foundations
2019年 | Proceedings of the 11th International Conference on Agents and Artificial Intelligence (ICAART 2019), Volume 2, pp. 762-769, Science and Technology Publications, 2019.
論文
Norihiro Kamide, Juan Pedro Altamirano Bernal
Towards locative inconsistency-tolerant hierarchical probabilistic CTL model checking: Survey and future work
2019年 | Proceedings of the 11th International Conference on Agents and Artificial Intelligence (ICAART 2019), Volume 2, pp. 869-878, Science and Technology Publications, 2019.
論文
Norihiro Kamide
Extending paraconsistent quantum logic: A single-antecedent/succedent system approach
2018年 | Mathematical Logic Quarterly 64 (4-5), pp. 371-386, Wiley-vch Verlag, 2018.
論文
Norihiro Kamide
Logical foundations of hierarchical model checking
2018年 | Data Technologies and Applications 52(4), pp. 539-563, Emerald Publishing, 2018.
論文
Norihiro Kamide
Proof theory of paraconsistent quantum logic
2018年 | Journal of Philosophical Logic 47(2), pp. 301-324, Springer, 2018.
論文
Norihiro Kamide
Decidable temporal and sequential relevant logics
2018年 | Journal of Logic and Computation 28 (2), pp. 403-432, Oxford University Press, 2018.
論文
Norihiro Kamide and Kazuki Endo
Logics and translations for inconsistency-tolerant model checking
| Proceedings of the 10th International Conference on Agents and Artificial Intelligence (ICAART 2018), Volume 2, pp. 191-200, Science and Technology Publications, 2018.
論文
Norihiro Kamide and Yaroslav Shramko
Modal multilattice logic
| Logica Universalis 11(3), pp. 317-343, Springer, 2017.
論文
Norihiro Kamide
Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic
| Journal of Logic and Computation 27 (7), pp. 2271-2301, Oxford University Press, 2017.
論文
Norihiro Kamide
Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning
| Reports on Mathematical Logic 52, pp. 3-44, Jagiellonian University Press, 2017.
論文
Norihiro Kamide
Paraconsistent double negations as classical and intuitionistic negations
| Studia Logica 105 (6), pp. 1167-1191, Springer, 2017.
論文
Norihiro Kamide, Yaroslav Shramko and Heinrich Wansing
Kripke Completeness of bi-intuitionistic multilattice logic and its connexive variant
| Studia Logica 105 (6), pp. 1193-1219, Springer, 2017.
論文
Norihiro Kamide and Hitoshi Omori
An extended first-order Belnap-Dunn logic with classical negation
| Proceedings of the 6th International Workshop on Logic, Rationality, and Interaction (LORI 2017), Lecture Notes in Computer Science 10455, pp. 79-93, Springer, 2017.
論文
Norihiro Kamide and Ryu Yano
Logics and translations for hierarchical model checking
| Proceedings of the 21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Procedia Computer Science 112, pp. 31-40, Elsevier, 2017.
論文
Norihiro Kamide
Logics with definitional reflection rules
2017年 | Journal of Logic and Computation 27 (5), pp. 1523-1548, Oxford University Press, 2017.
論文
Norihiro Kamide and Yaroslav Shramko
Embedding from multilattice logic into classical logic and vice versa
2017年 | Journal of Logic and Computation 27 (5), pp. 1549-1575, Oxford University Press, 2017.
論文
Norihiro Kamide
Natural deduction for connexive paraconsistent quantum logic
2017年 | Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2017), pp. 207-212, IEEE Press.
論文
Norihiro Kamide
Extending ideal paraconsistent four-valued logic
2017年 | Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2017), pp. 49-54, IEEE Press.
論文
Norihiro Kamide
Phase semantics for multilattice formalism
2017年 | Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2017), pp. 31-36, IEEE Press.
論文
Norihiro Kamide
Paraconsistent double negation as a modal operator
2016年 | Mathematical Logic Quarterly 62 (6), pp. 552-562, Wiley-Vch Verlag.
論文
Norihiro Kamide and Daiki Koizumi
Method for combining paraconsistency and sequentiality in temporal reasoning
2016年 | Journal of Advanced Computational Intelligence and Intelligent Informatics 20 (5), pp. 813-827, Fuji Technology Press
論文
Norihiro Kamide and Heinrich Wansing
Completeness of connexive Heyting-Brouwer logic
2016年 | IFCoLog Journal of Logics and their Applications 3 (3), pp. 441-466, College Publications
論文
Norihiro Kamide
A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
2016年 | Mathematical Logic Quarterly 62 (3), pp. 1-13, 2016, Wiley-Vch Verlag
論文
Norihiro Kamide
Bunched sequential information
2016年 | Journal of Applied Logic 15, pp. 150-170, Elsevier
論文
Norihiro Kamide
Paraconsistent double negation that can simulate classical negation
2016年 | Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2016), pp. 131-136, IEEE Press
論文
Norihiro Kamide
Cut-free systems for restricted bi-intuitionistic logic and its connexive extension
2016年 | Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2016), pp. 137-142, IEEE Press
論文
Norihiro Kamide
Duality in some intuitionistic paraconsistent logics
2016年 | Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), Volume 2, pp. 288-297, Science and Technology Publications
論文
Norihiro Kamide
Intuitionistic De Morgan verification and falsification logics
2016年 | Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), Volume 2, pp. 233-240, Science and Technology Publications
論文
Norihiro Kamide
Reasoning in medical and tutoring systems: A decidable first-order temporal paraconsistent non-commutative logic
2015年 | International Journal of Software and Informatics 9 (1), pp. 73-92, 2015, The Institute of Software, Chinese Academy of Sciences (ISCAS).
論文
Norihiro Kamide
Interpolation theorems for some variants of LTL
2015年 | Reports on Mathematical Logic 50、pp. 3-20, Jagiellonian University Press
論文
Norihiro Kamide
Single-succedent system approach to Boolean BI
2015年 | Proceedings of the 19th International Conference on Knowledge Based and Intelligent Information and Engineering Systems (KES 2015), Procedia Computer Science 60, pp. 27-36, Elsevier
論文
Norihiro Kamide
A decidable temporal relevant logic for time-dependent relevant human reasoning
2015年 | Proceedings of the 5th International Workshop on Logic, Rationality, and Interaction (LORI 2015), Lecture Notes in Computer Science 9394, pp. 182-194, Springer
論文
Norihiro Kamide
Inconsistency-tolerant temporal reasoning with hierarchical information
2015年 | Information Sciences 320, pp. 140-155, Elsevier
論文
Norihiro kamide
Embedding theorems for LTL and its variants
2015年 | Mathematical Structures in Computer Science 25 (1), pp.83-134, 2015, Cambridge University Press
論文
Norihiro Kamide
Trilattice logic: An embedding-based approach
2015年 | Journal of Logic and Computation 25 (3), pp. 581-611, Oxford University Press
論文
Norihiro Kamide and Daiki Koizumi
Combining paraconsistency and probability in CTL
2015年 | Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART 2015), pp.285-293, Science and Technology Publications
論文
Norihiro Kamide
Inconsistency and sequentiality in LTL
2015年 | Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART 2015), pp.46-54, Science and Technology Publications.
著書
Norihiro Kamide and Heinrich Wansing
Proof theory of N4-related paraconsistent logics
2015年 | Studies in Logic, Volume 54, pp. 1-401, College Publications
論文
Norihiro Kamide
Inconsistency-tolerant multi-agent calculus
2014年 | International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 22 (6), pp.815-830, 2014, World Scientific Publishing
論文
Norihiro Kamide
An eight-valued praconsistent logic
2014年 | Reports on Mathematical Logic 49, pp.3-21, 2014, Jagiellonian University Press
論文
Norihiro Kamide
Embedding-based methods for trilattice logic
2013年 | Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2013), IEEE Press
論文
Norihiro Kamide
On natural eight-valued reasoning
2013年 | Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2013), IEEE Press
論文
Norihiro Kamide
The logic of information merge and sequential information
2013年 | Proceedings of the 2013 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2013), IEEE Press
論文
Norihiro Kamide
Formalizing inconsistency-tolerant relevant human reasoning: A decidable paraconsistent relevant logic with constructible falsity
2013年 | Proceedings of the 2013 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2013), IEEE Press
論文
Norihiro Kamide
Modeling and verifying inconsistency-tolerant temporal reasoning with hierarchical information: Dealing with students' learning processes
2013年 | Proceedings of the 2013 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2013), IEEE Press
論文
Norihiro Kamide
Strong normalization in some temporal substructural logics
2013年 | Journal of Logic and Computation, Oxford University Press
論文
Norihiro Kamide
Inconsistency-tolerant bunched implications
2013年 | International Journal of Approximate Reasoning, Elsevier
論文
Norihiro Kamide
Temporal Godel-Gentzen and Girard translations
2013年 | Mathematical Logic Quarterly, Wiley-Vch Verlag
論文
Norihiro Kamide
A hierarchy of weak double negations
2013年 | Studia Logica, Springer
論文
Norihiro Kamide
Temporal BI: Proof system, semantics and translations
2013年 | Theoretical Computer Science, Elsevier
論文
Norihiro Kamide and Ken Kaneiwa
Reasoning about resources and information: A linear logic approach
2013年 | Fundamenta Informaticae, IOS Press
論文
Norihiro Kamide
Representing any-time and program-iteration by infinitary conjunction
2013年 | Journal of Applied Non-Classical Logics, Taylor and Francis
論文
Norihiro Kamide and Heinrich Wansing
Proof theory of Nelson's paraconsistent logic: A uniform perspective
2012年 | Theoretical Computer Science, Elsevier
論文
Norihiro Kamide
Embedding-based approaches to paraconsistent and temporal description logics
2012年 | Journal of Logic and Computation, Oxford University Press
論文
Norihiro Kamide
Strong normalization of a typed lambda calculus for intuitionistic bounded linear-time temporal logic
2012年 | Reports on Mathematical Logic, Jagiellonian University Press
論文
Norihiro Kamide
Reasoning about time-dependent multi-agents: Foundations of theorem proving and model checking
2012年 | Transactions on Computational Collective Intelligence, Springer
論文
Norihiro Kamide
Bounded linear-time temporal logic: A proof-theoretic investigation
2012年 | Annals of Pure and Applied Logic, Elsevier
論文
Heinrich Wansing and Norihiro Kamide
Synchronized linear-time temporal logic
2011年 | Studia Logica, Springer
論文
Norihiro Kamide
Notes on interpolation for LJ with strong negation
2011年 | Mathematical Logic Quarterly, Wiley-Vch Verlag
論文
Ken Kaneiwa and Norihiro Kamide
Conceptual modeling in full computation-tree logic with sequence modal operator
2011年 | International Journal of Intelligent Systems, Wiley Periodicals, Inc.
論文
Norihiro Kamide
Phase semantics for linear-time formalism
2011年 | Logic Journal of the IGPL, Oxford University Press
論文
Norihiro Kamide and Heinrich Wansing
A paraconsistent linear-time temporal logic
2011年 | Fundamenta Informaticae, IOS Press
論文
Norihiro Kamide and Heinrich Wansing
Completeness and cut-elimination theorems for trilattice logics
2011年 | Annals of Pure and Applied Logic, Elsevier
論文
Ken Kaneiwa and Norihiro Kamide
Paraconsistent computation tree logic
2011年 | New Generation Computing, Ohomsha and Springer
上記以外の論文情報
DBLP Computer Science Bibliography (Works by Norihiro Kamide)
| http://dblp.uni-trier.de/pers/hd/k/Kamide:Norihiro
上記以外の論文情報
PhilPapers Philosophical Research Online (Works by Norihiro Kamide)
| http://philpapers.org/s/Norihiro%20Kamide
上記以外の論文情報
researchmap (上出哲広)
| https://researchmap.jp/read0195280/published_papers