仁 大森 の写真なし

Scopus著者プロファイル

大森 仁

准教授

Pureの文献数とScopusの被引用数に基づいて算出されます
20102025

年別の研究成果

フィルター
会議への寄与

検索結果

  • 2022

    Haack meets Herzberger and Priest

    Omori, H. & Arenhart, J. R. B., 2022, Proceedings - 2022 IEEE 52nd International Symposium on Multiple-Valued Logic, ISMVL 2022. IEEE Computer Society, p. 137-144 8 p. (Proceedings of The International Symposium on Multiple-Valued Logic; vol. 2022-May).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    8 被引用数 (Scopus)

  • Liberating classical negation from falsity conditions

    Szmuc, D. & Omori, H., 2022, Proceedings - 2022 IEEE 52nd International Symposium on Multiple-Valued Logic, ISMVL 2022. IEEE Computer Society, p. 131-136 6 p. (Proceedings of The International Symposium on Multiple-Valued Logic; vol. 2022-May).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    Open Access
    2 被引用数 (Scopus)
  • 2021

    A Generalization of Ordered-Pair Semantics

    Omori, H. & Arenhart, J. R. B., 2021, Logic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Proceedings. Ghosh, S. & Icard, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 149-157 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13039 LNCS).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    2 被引用数 (Scopus)

  • A two-valued semantics for infectious logics

    Song, Y., Omori, H. & Tojo, S., 2021 5月, Proceedings - 2021 IEEE 51st International Symposium on Multiple-Valued Logic, ISMVL 2021. IEEE Computer Society, p. 50-55 6 p. 9459644. (Proceedings of The International Symposium on Multiple-Valued Logic; vol. 2021-May).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    8 被引用数 (Scopus)

  • Untruth, falsity and non-deterministic semantics

    Omori, H. & Skurt, D., 2021 5月, Proceedings - 2021 IEEE 51st International Symposium on Multiple-Valued Logic, ISMVL 2021. IEEE Computer Society, p. 74-80 7 p. 9459648. (Proceedings of The International Symposium on Multiple-Valued Logic; vol. 2021-May).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    4 被引用数 (Scopus)
  • 2020

    Actuality in Intuitionistic Logic

    Niki, S. & Omori, H., 2020, Advances in Modal Logic, AiML 2020. Olivetti, N., Verbrugge, R., Negri, S., Negri, S. & Sandu, G. (eds.). College Publications, p. 459-479 21 p. (Advances in Modal Logic; vol. 13).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    3 被引用数 (Scopus)

  • An Extension of Connexive Logic C

    Omori, H. & Wansing, H., 2020, Advances in Modal Logic, AiML 2020. Olivetti, N., Verbrugge, R., Negri, S., Negri, S. & Sandu, G. (eds.). College Publications, p. 503-522 20 p. (Advances in Modal Logic; vol. 13).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    29 被引用数 (Scopus)

  • A Semantics for a Failed Axiomatization of K

    Omori, H. & Skurt, D., 2020, Advances in Modal Logic, AiML 2020. Olivetti, N., Verbrugge, R., Negri, S., Negri, S. & Sandu, G. (eds.). College Publications, p. 481-501 21 p. (Advances in Modal Logic; vol. 13).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    10 被引用数 (Scopus)
  • 2019

    SIXTEEN3 in Light of Routley Stars

    Omori, H. & Skurt, D., 2019, Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (eds.). Springer Verlag, p. 516-532 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11541 LNCS).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    2 被引用数 (Scopus)
  • 2017

    An extended first-order belnap-dunn logic with classical negation

    Kamide, N. & Omori, H., 2017, Business Process Management - 15th International Conference, BPM 2017, Proceedings. Seligman, J., Yamada, T. & Baltag, A. (eds.). Springer Verlag, p. 79-93 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10445 LNCS).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    14 被引用数 (Scopus)

  • Conjunction and disjunction in infectious logics

    Omori, H. & Szmuc, D., 2017, Business Process Management - 15th International Conference, BPM 2017, Proceedings. Seligman, J., Yamada, T. & Baltag, A. (eds.). Springer Verlag, p. 268-283 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10445 LNCS).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    23 被引用数 (Scopus)

  • Counterfactuals in Nelson logic

    Kapsner, A. & Omori, H., 2017, Business Process Management - 15th International Conference, BPM 2017, Proceedings. Seligman, J., Yamada, T. & Baltag, A. (eds.). Springer Verlag, p. 497-511 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10445 LNCS).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    15 被引用数 (Scopus)

  • Hallden's Logic of Nonsense and Its Expansions in View of Logics of Formal Inconsistency

    Omori, H., 2017 1月 12, Proceedings - 27th International Workshop on Database and Expert Systems Applications, DEXA 2016. Institute of Electrical and Electronics Engineers Inc., p. 129-133 5 p. 7816637. (Proceedings - International Workshop on Database and Expert Systems Applications, DEXA).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    15 被引用数 (Scopus)

  • Sette’s logics, revisited

    Omori, H., 2017, Business Process Management - 15th International Conference, BPM 2017, Proceedings. Seligman, J., Yamada, T. & Baltag, A. (eds.). Springer Verlag, p. 451-465 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10445 LNCS).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    8 被引用数 (Scopus)
  • 2016

    Classical and empirical negation in subintuitionistic logic

    De, M. & Omori, H., 2016, Advances in Modal Logic, AiML 2016. Demri, S., Beklemishev, L. & Mate, A. (eds.). College Publications, p. 217-235 19 p. (Advances in Modal Logic; vol. 11).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    7 被引用数 (Scopus)
  • 2014

    More on empirical negation

    De, M. & Omori, H., 2014, 10th Conference on Advances in Modal Logic, AiML 2014. Gore, R., Kooi, B. & Kurucz, A. (eds.). College Publications, p. 114-133 20 p. (Advances in Modal Logic; vol. 10).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    13 被引用数 (Scopus)
  • 2011

    Some observations on the systems LFI1 and LFI1

    Omori, H. & Waragai, T., 2011, Proceedings - 2011 22nd International Workshop on Database and Expert Systems Applications, DEXA 2011. p. 320-324 5 p. 6059837. (Proceedings - International Workshop on Database and Expert Systems Applications, DEXA).

    研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読

    17 被引用数 (Scopus)