• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

An Interdisciplinary Study of the Interaction between Utterances and Social Contexts in terms of Dynamic Modal Logic

Research Project

Project/Area Number 17H02258
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field Philosophy/Ethics
Research InstitutionHokkaido University

Principal Investigator

Yamada Tomoyuki  北海道大学, 文学研究院, 名誉教授 (40166723)

Co-Investigator(Kenkyū-buntansha) 佐野 勝彦  北海道大学, 文学研究院, 准教授 (20456809)
金子 守  筑波大学, システム情報系, 名誉教授 (40114061)
東条 敏  北陸先端科学技術大学院大学, 先端科学技術研究科, 教授 (90272989)
Project Period (FY) 2017-04-01 – 2022-03-31
Project Status Completed (Fiscal Year 2021)
Budget Amount *help
¥12,220,000 (Direct Cost: ¥9,400,000、Indirect Cost: ¥2,820,000)
Fiscal Year 2021: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2020: ¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000)
Fiscal Year 2019: ¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000)
Fiscal Year 2018: ¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000)
Fiscal Year 2017: ¥2,470,000 (Direct Cost: ¥1,900,000、Indirect Cost: ¥570,000)
Keywords言語行為 / 動的認識義務論理 / 動的様相述語論理 / 真偽評価可能な発話とそうでない発話 / 人工知能 / 裁判 / 限定合理性 / 小さく狭くなった世界のための社会経済思想 / エージェントコミュニケーション / 証明論 / ゲーム理論 / 動的義務論理 / 項列様相論理 / 様相述語論理 / コミュニケーション / 義務論理 / 動的論理 / ターム様相論理 / 発話行為
Outline of Final Research Achievements

We have developed dynamic modal propositional logic that can capture how utterances change epistemic states of agents and deontic structures of the situation. It enables us to analyze the functions of truth-apt utterances (assertions) and non-truth-apt utterances (commands, promises, requests) in a uniform framework. We have also developed a version of modal predicate logic called ``Dynamified Term-Sequence-Deontic Logic’’ and thereby opened a way to further research.
We have also developed logics and AI applications that deal with dynamic changes of knowledge and attitudes of people involved in a law court as well as a logic that deals with mutual knowledge of people with bounds of cognitive abilities from the point of view of bounded rationality in economics. Moreover, we have also developed a new socioeconomic thought for a small and narrow world with various different cultures from the same point of view of bounded rationality.

Academic Significance and Societal Importance of the Research Achievements

真偽評価の対象になる発話とそうでない発話の統一的な枠組みでの分析が可能になったことは、従来の意味論の問題点を解消するものであり、その学術的意義は極めて大きい。また本研究で定式化された、主体の能力の限界を認める限定合理性の観点に基づく知識の論理は、ゲーム理論でよく論じられる共通知識の概念を限定合理性の下でも保持することを可能にする。
また人工知能の観点からの裁判における関係者の考えの動的変化の分析と、限定合理性を考慮した人間の活動に比して小さく狭くなった世界で人々が文化の違いを否定せずに平和に暮らすことを可能にする社会経済思想の提案は、どちらも本研究の社会問題への応用可能性を示すものである。

Report

(6 results)
  • 2021 Annual Research Report   Final Research Report ( PDF )
  • 2020 Annual Research Report
  • 2019 Annual Research Report
  • 2018 Annual Research Report
  • 2017 Annual Research Report
  • Research Products

    (117 results)

All 2022 2021 2020 2019 2018 2017 Other

All Int'l Joint Research (9 results) Journal Article (43 results) (of which Int'l Joint Research: 7 results,  Peer Reviewed: 42 results,  Open Access: 16 results) Presentation (50 results) (of which Int'l Joint Research: 42 results,  Invited: 13 results) Book (4 results) Remarks (9 results) Funded Workshop (2 results)

  • [Int'l Joint Research] リーズ大学(英国)

    • Related Report
      2021 Annual Research Report
  • [Int'l Joint Research] Indian Statistical Institute, Chennai(インド)

    • Related Report
      2021 Annual Research Report
  • [Int'l Joint Research] ライプニッツ大学ハノーファー(ドイツ)

    • Related Report
      2020 Annual Research Report
  • [Int'l Joint Research] University of Bristol(英国)

    • Related Report
      2019 Annual Research Report
  • [Int'l Joint Research] Hasselt University(ベルギー)

    • Related Report
      2019 Annual Research Report
  • [Int'l Joint Research] University of Bristle/University of Leeds(英国)

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] University of Queensland(オーストラリア)

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] Sun Yat-sen University(中国)

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] University of Bristol(英国)

    • Related Report
      2017 Annual Research Report
  • [Journal Article] Three Faces of Recursion Axioms: the Case of Constructive Dynamic Logic of Relation Changers2022

    • Author(s)
      Ryo Hatano and Katsuhiko Sano
    • Journal Title

      Journal of Logic and Computation

      Volume: -

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Combining First-Order Classical and Intuitionistic Logic2022

    • Author(s)
      Masanobu Toyooka and Katsuhiko Sano
    • Journal Title

      Electronic Proceedings in Theoretical Computer Science

      Volume: -

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Expressing discrete spatial relations under granularity2021

    • Author(s)
      Giulia Sindoni, Katsuhiko Sano and John G. Stell
    • Journal Title

      Journal of Logical and Algebraic Methods in Programming

      Volume: 122 Pages: 100682-100682

    • DOI

      10.1016/j.jlamp.2021.100682

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge2021

    • Author(s)
      Youan Su, Ryo Murai and Katsuhiko Sano
    • Journal Title

      Sujata Ghosh, Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021, Proceedings, Springer Nature, 2021

      Volume: - Pages: 216-231

    • DOI

      10.1007/978-3-030-88708-7_18

    • ISBN
      9783030887070, 9783030887087
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Rely more or less, for better or for worse: Intertwining reliability and preferences2021

    • Author(s)
      Sujata Ghosh and Katsuhiko Sano
    • Journal Title

      Journal of Logic and Computation

      Volume: - Issue: 3 Pages: 518-553

    • DOI

      10.1093/logcom/exab066

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Exploring New Socioeconomic Thoughts for a Small and Narrow World: Unity and Decentralization2021

    • Author(s)
      Kaneko Mamoru
    • Journal Title

      Publisher International, London

      Volume: - Pages: 1-21

    • DOI

      10.9734/bpi/nhess/v11/8090d

    • Related Report
      2021 Annual Research Report
    • Open Access
  • [Journal Article] On Explanation of Propositional Logic-based Argumentation System2021

    • Author(s)
      Racharak Teeradaj、Tojo Satoshi
    • Journal Title

      Ana Paula Rocha, Luc Steels and Jaap van den Herik, (eds.), Proceedings of 13th International Conference on Agents and Artificial Intelligence (ICAART)

      Volume: - Pages: 323-332

    • DOI

      10.5220/0010318103230332

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Translation from Three-Valued Quantum Logic to Modal Logic2021

    • Author(s)
      Takagi Tsubasa
    • Journal Title

      International Journal of Theoretical Physics

      Volume: 60 Issue: 1 Pages: 366-377

    • DOI

      10.1007/s10773-020-04701-z

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms2020

    • Author(s)
      Ryo Hatano and Katsuhiko Sano
    • Journal Title

      Studia Logica

      Volume: 109 Issue: 1 Pages: 95-124

    • DOI

      10.1007/s11225-020-09902-5

    • Related Report
      2020 Annual Research Report 2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Frame definability, canonicity and cut elimination in common sense modal predicate logics2020

    • Author(s)
      Takahiro Sawasaki and Katsuhiko Sano
    • Journal Title

      Journal of Logic and Computation

      Volume: - Issue: 8 Pages: 1933-1958

    • DOI

      10.1093/logcom/exaa067

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Constructive Dynamic Logic of Relation Changers2020

    • Author(s)
      Ryo Hatano and Katsuhiko Sano
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 12569 Pages: 137-154

    • DOI

      10.1007/978-3-030-65840-3_9

    • ISBN
      9783030658397, 9783030658403
    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Subformula property and Craig interpolation theorem of sequent calculi for tense logics2020

    • Author(s)
      Katsuhiko Sano, Sakiko Yamasaki
    • Journal Title

      Short Papers of Advances in Modal Logic (AiML 2020)

      Volume: - Pages: 97-101

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Proof-Theoretic Results of Common Sense Modal Predicate Calculi2020

    • Author(s)
      Takahiro Sawasaki and Katsuhiko Sano
    • Journal Title

      Context, Conflict and Reasoning, Logic in Asia: Studia Logica Library

      Volume: - Pages: 127-138

    • DOI

      10.1007/978-981-15-7134-3_10

    • ISBN
      9789811571336, 9789811571343
    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Modal Logic and Planarity of Graphs2020

    • Author(s)
      Izumi Takeuti and Katsuhiko Sano
    • Journal Title

      Context, Conflict and Reasoning, Logic in Asia: Studia Logica Library

      Volume: - Pages: 115-126

    • DOI

      10.1007/978-981-15-7134-3_9

    • ISBN
      9789811571336, 9789811571343
    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Goldblatt-Thomason-style Characterization for Intuitionistic Inquisitive Logic2020

    • Author(s)
      Katsuhiko Sano
    • Journal Title

      Nicola Olivetti, Rineke Verbrugge, Sara Negri and Gabriel Sandu (eds.), Advances in Modal Logic

      Volume: 13 Pages: 541-560

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Logics for Knowability Paradox with a Non-normal Possibility Operator2020

    • Author(s)
      Youan Su and Katsuhiko Sano
    • Journal Title

      Knowledge, Proof and Dynamics. Logic in Asia: Studia Logica Library

      Volume: - Pages: 51-72

    • DOI

      10.1007/978-981-15-2221-5_4

    • ISBN
      9789811522208, 9789811522215
    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Craig Interpolation of Epistemic Logics with Distributed Knowledge2020

    • Author(s)
      Ryo Murai and Katsuhiko Sano
    • Journal Title

      Foundations of Information and Knowledge Systems. FoIKS 2020. Lecture Notes in Computer Science

      Volume: 12021 Pages: 211-221

    • DOI

      10.1007/978-3-030-39951-1_13

    • ISBN
      9783030399504, 9783030399511
    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A cut-free labelled sequent calculus for dynamic epistemic logic2020

    • Author(s)
      Shoshin Nomura, Hiroakira Ono, and Katsuhiko Sano
    • Journal Title

      Journal of Logic and Computation

      Volume: - Issue: 1 Pages: 321-348

    • DOI

      10.1093/logcom/exaa014

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Generic Framework to Uncross Dependency2020

    • Author(s)
      Masaya Taniguchi and Satoshi Tojo
    • Journal Title

      Artificial Life and Robotics (Springer Japan)

      Volume: -

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Expected Utility Theory with Probability Grids and Preference Formation2019

    • Author(s)
      Mamoru Kaneko
    • Journal Title

      Economic Theory (Springer)

      Volume: - Issue: 3 Pages: 723-764

    • DOI

      10.1007/s00199-019-01225-4

    • Related Report
      2020 Annual Research Report 2019 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Term-Sequence-Modal Logics2019

    • Author(s)
      Takahiro Sawasaki, Katsuhiko Sano, and Tomoyuki Yamada
    • Journal Title

      Logic, Rationality, and Interaction, 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings

      Volume: 11813 Pages: 244-258

    • DOI

      10.1007/978-3-662-60292-8_18

    • ISBN
      9783662602911, 9783662602928
    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Characterising modal definability of team-based logics via the universal modality2019

    • Author(s)
      Katsuhiko Sano and Jonni Virtema
    • Journal Title

      Annals of Pure and Applied Logic

      Volume: 170(9) Issue: 9 Pages: 1100-1127

    • DOI

      10.1016/j.apal.2019.04.009

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] First-Order Intuitionistic Epistemic Logic2019

    • Author(s)
      Youan Su and Katsuhiko Sano
    • Journal Title

      Logic, Rationality, and Interaction, 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings

      Volume: 11813 Pages: 326-339

    • DOI

      10.1007/978-3-662-60292-8_24

    • ISBN
      9783662602911, 9783662602928
    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Formalizing preconception in a framework of epistemic logic2019

    • Author(s)
      Momoka Fujieda, Shoshin Nomura, and Satoshi Tojo
    • Journal Title

      The Proceedings of Thirteenth International Workshop on Juris-informatics (JURISIN2019)

      Volume: - Pages: 93-102

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] SMALL INFINITARY EPISTEMIC LOGICS2019

    • Author(s)
      HU TAI-WEI、KANEKO MAMORU、SUZUKI NOBU-YUKI
    • Journal Title

      The Review of Symbolic Logic

      Volume: - Issue: 4 Pages: 1-34

    • DOI

      10.1017/s1755020319000029

    • NAID

      120006594582

    • Related Report
      2019 Annual Research Report 2018 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Moral Dilemmas and the Contrary-to-Duty Scenarios in Dynamic Logic of Acts of Commanding --- The Significance of Moral Considerations behind Moral Judgments ---2019

    • Author(s)
      Tomoyuki Yamada
    • Journal Title

      Proceedings of the 14th and 15th Asian Logic Conferences

      Volume: - Pages: 249-269

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Dynamic epistemic reasoning with awareness and its legal application2019

    • Author(s)
      T. Goto, R. Hatano and S. Tojo
    • Journal Title

      Vietnam Journal of Computer Science

      Volume: 6(1) Issue: 01 Pages: 29-42

    • DOI

      10.1142/s2196888819500064

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] 4-valued Logic for Agent Communication with Private/Public Information Passing2019

    • Author(s)
      Y. Song, M. Taniguchi, and S. Tojo
    • Journal Title

      Proceedings of 11th International Conference on Agents and Artificial Intelligence

      Volume: vol.1 Pages: 54-61

    • DOI

      10.5220/0007400000540061

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] The Dynamics of Narrow-minded Belief2019

    • Author(s)
      S. Nomura, N. Arai, and S. Tojo
    • Journal Title

      Proceedings of 11th International Conference on Agents and Artificial Intelligence

      Volume: vol.2 Pages: 247-255

    • DOI

      10.5220/0007394502470255

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Sequent Calculi for Normal Update Logics2019

    • Author(s)
      Katsuhiko Sano and Minghui Ma
    • Journal Title

      Lecture Notes in Computer Science

      Volume: vol.11600 Pages: 132-143

    • DOI

      10.1007/978-3-662-58771-3_13

    • ISBN
      9783662587706, 9783662587713
    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Exploring New Socio-Economic Thoughts for a Small and Narrow Earth2018

    • Author(s)
      Mamoru Kaneko
    • Journal Title

      Applied Sociology

      Volume: 8 Issue: 05 Pages: 397-421

    • DOI

      10.4236/aasoci.2018.85024

    • Related Report
      2018 Annual Research Report 2017 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Dynamic epistemic reasoning system with awareness (DEMO+A) and its legal application2018

    • Author(s)
      T. Goto, R. Hatano and S. Tojo
    • Journal Title

      Proceedings of Big Data Analytics, Data Mining and Computational Intelligence

      Volume: - Pages: 73-80

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Axiomatizing Discrete Spatial Relations2018

    • Author(s)
      Giulia Sindoni, Katsuhiko Sano, and John G. Stell
    • Journal Title

      Lecture Notes in Computer Science

      Volume: vol.11194 Pages: 113-130

    • DOI

      10.1007/978-3-030-02149-8_8

    • ISBN
      9783030021481, 9783030021498
    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Relation Changers are Bounded Morphisms2018

    • Author(s)
      Ryo Hatano and Katsuhiko Sano
    • Journal Title

      Proceedings of the 4th Asian Workshop on Philosophical Logic

      Volume: - Pages: 138-150

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Approximate Quasi-Linearity for Large Incomes2018

    • Author(s)
      Mamoru Kaneko
    • Journal Title

      S. K. Neogy, R. B. Bapat, and Dipti Dubey (eds.), Mathematical Programming and Game Theory

      Volume: 印刷中

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Personalizing a Concept Similarity Measure in the Description Logic with Preference Profile2018

    • Author(s)
      T. Racharak, B. Suntisrivaraporn, and S. Tojo
    • Journal Title

      Journal of Computing and Information

      Volume: 印刷中

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Concept Similarity under the Agent's Preference for Description Logic FL0 under the Unfoldable TBOX2018

    • Author(s)
      T. Racharak and S. Tojo
    • Journal Title

      Proceedings of 10th International Conference on Agents and Artificial Intelligence (ICAART), vol. 2

      Volume: - Pages: 201-210

    • DOI

      10.5220/0006653402010210

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] An Equilibrium-Econometric Analysis of Rental Housing Markets with Indivisibilities2017

    • Author(s)
      Mamoru kaneko and Tamon Ito
    • Journal Title

      Lina Mallozzi and Panos Pardalos (eds.), Spatial Interaction Models : Facility Location using Game theory

      Volume: - Pages: 193-223

    • DOI

      10.1007/978-3-319-52654-6_9

    • ISBN
      9783319526539, 9783319526546
    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Combining Answer Set Programming with Description Logics for Analogical Reasoning under an Agent Preference2017

    • Author(s)
      T. Racharak, S. Tojo, N. Hung, and P. Boonkwan
    • Journal Title

      Salem Benferhat, Karim Tabia, and Moonis Ali (eds.), Advances in Artificial Intelligence: From Theory to Practice, Part II

      Volume: - Pages: 306-316

    • DOI

      10.1007/978-3-319-60045-1_33

    • ISBN
      9783319600444, 9783319600451
    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Cut Free Labelled Sequent Calculus for Dynamic Logic of Relation Changers2017

    • Author(s)
      Ryo Hatano, Katsuhiko Sano, and Satoshi Tojo
    • Journal Title

      Philosophical Logic: Current Trends in Asia, Proceedings of AWPL-TPLC 2016

      Volume: - Pages: 153-180

    • DOI

      10.1007/978-981-10-6355-8_8

    • ISBN
      9789811063541, 9789811063558
    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Proof-Theoretic Embedding from Visser's Basic Propositional Logic to Modal Logic K4 via Non-labelled Sequent Calculi2017

    • Author(s)
      Sakiko Yamasaki and Katsuhiko Sano
    • Journal Title

      Philosophical Logic: Current Trends in Asia, Proceedings of AWPL-TPLC 2016

      Volume: - Pages: 233-258

    • DOI

      10.1007/978-981-10-6355-8_12

    • ISBN
      9789811063541, 9789811063558
    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Dynamic epistemic logic of belief change in legal judgments2017

    • Author(s)
      Pimolluck Jirakunkanok, Katsuhiko Sano, and Satoshi Tojo
    • Journal Title

      Artificial Intelligence and Law

      Volume: 印刷中 Issue: 3 Pages: 1-49

    • DOI

      10.1007/s10506-017-9202-0

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus2017

    • Author(s)
      Katsuhiko Sano
    • Journal Title

      Logic, Rationality, and Interaction, LORI 2017, Lecture Notes in Computer Science

      Volume: 10455 Pages: 224-239

    • DOI

      10.1007/978-3-662-55665-8_16

    • ISBN
      9783662556641, 9783662556658
    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [Presentation] Completeness of Common Sense Term-Sequence-Deontic-Alethic Logic2022

    • Author(s)
      Tomoyuki Yamada
    • Organizer
      SOCREAL 2022 (6th International Workshop on Philosophy and Logic of Social Reality)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Acts of Commanding and Promising in Dynamified Common Sense Term-Sequence-Deontic-Alethic Logic2022

    • Author(s)
      Tomoyuki Yamada and Katsuhiko Sano
    • Organizer
      TLLM2022 (The 3rd Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Craig Interpolation for a Sequent Calculus for Combining Intuitionistic and Classical Propositional Logic2022

    • Author(s)
      Masanobu Toyooka and Katsuhiko Sano
    • Organizer
      SOCREAL 2022 (6th International Workshop on Philosophy and Logic of Social Reality)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Combining First-Order Classical and Intuitionistic Logic2022

    • Author(s)
      Masanobu Toyooka and Katsuhiko Sano
    • Organizer
      NCL'22 (Non-Classical Logics. Theory and Applications 2022)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Dynamic Logic of Relation Changers Meets Brouwer2022

    • Author(s)
      Ryo Hatano and Katsuhiko Sano
    • Organizer
      SOCREAL 2022 (6th International Workshop on Philosophy and Logic of Social Reality)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Epistemic Infinite-Regress Logics: the Surface to Deeper Layers and Latent Infinity2022

    • Author(s)
      Tai-Wei Hu and Mamoru Kaneko
    • Organizer
      SOCREAL 2022 (6th International Workshop on Philosophy and Logic of Social Reality)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] A St. Petersburg Market: A Banker with a Budget and People with Cognitive Bounds2022

    • Author(s)
      Mamoru Kaneko
    • Organizer
      ゲーム理論ワークショプ2022
    • Related Report
      2021 Annual Research Report
  • [Presentation] Plurivalent Logic for Multi-Agent Systems2022

    • Author(s)
      Satoshi Tojo
    • Organizer
      SOCREAL 2022 (6th International Workshop on Philosophy and Logic of Social Reality)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge2021

    • Author(s)
      Youan Su, Ryo Murai and Katsuhiko Sano
    • Organizer
      The Eighth International Conference on Logic, Rationality and Interaction (LORI-VIII)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 2n+1-valued logic for multi agents2021

    • Author(s)
      Yang Song and Satoshi Tojo
    • Organizer
      JURISIN2021 (Fifteenth International Workshop on Juris-informatics)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A Two-valued Semantics for Infectious Logics2021

    • Author(s)
      Yang Song, Hitoshi Omori and Satoshi Tojo
    • Organizer
      ISMVL2021 (IEEE International Symposium on Multiple-Valued Logic)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Temporal Observable-Dependent Logic for Quantum Finite Automata2021

    • Author(s)
      Tsubasa Takagi and Satoshi Tojo
    • Organizer
      18th International Conference on Quantum Physics and Logic 2021
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] On Three-Valued Modal Logics: from a Four-Valued Perspective2021

    • Author(s)
      Xinyu Wang, Yang Song and Satoshi Tojo
    • Organizer
      NCMPL 2021
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] First-Order Expansion of Intuitionistic Epistemic Logic2021

    • Author(s)
      Youan Su, Katsuhiko Sano
    • Organizer
      Fourth Workshop on Mathematical Logic and its Applications (MLA 2021)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] On Explanation of Propositional Logic-based Argumentation System2021

    • Author(s)
      Teeradaj Racharak, Satoshi Tojo
    • Organizer
      13th International Conference on Agents and Artificial Intelligence (ICAART)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Subformula property and Craig interpolation theorem of sequent calculi for tense logic2020

    • Author(s)
      Katsuhiko Sano, Sakiko Yamasaki
    • Organizer
      ADVANCES IN MODAL LOGIC 2020
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Goldblatt-Thomason-style Characterization for Intuitionistic Inquisitive Logic2020

    • Author(s)
      Katsuhiko Sano
    • Organizer
      ADVANCES IN MODAL LOGIC 2020
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Constructive Dynamic Logic of Relation Changers2020

    • Author(s)
      Ryo Hatano, Katsuhiko Sano
    • Organizer
      3rd DaLi Workshop, Dynamic Logic: New Trends and Applications
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Modal Logic and Planarity of Graphs2020

    • Author(s)
      Takeuti Izumi, Katsuhiko Sano
    • Organizer
      the 5th Asian Workshop on Philosophical Logic (AWPL)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Incorporating rejection condition into inquisitive semantics2020

    • Author(s)
      佐野勝彦
    • Organizer
      第2回ズームコロキュアム
    • Related Report
      2020 Annual Research Report
    • Invited
  • [Presentation] Proof-theoretic Results of Common Sense Modal Predicate Calculi2020

    • Author(s)
      Takahiro Sawasaki, Katsuhiko Sano
    • Organizer
      the 5th Asian Workshop on Philosophical Logic (AWPL)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Goldblatt-Thomason theorems for non-classical logics2020

    • Author(s)
      Katsuhiko Sano
    • Organizer
      Logic Webinar@ IITK, Department of Mathematics and Statistics, IIT Kanpur
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Intuitionistic Epistemic Logics with Distributed Knowledge2020

    • Author(s)
      Ryo Murai, Katsuhiko Sano
    • Organizer
      Thirteenth Latin American Workshop on New Methods of Reasoning 2020
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] On Intuitionistic Epistemic Logic with Distributed Knowledge2020

    • Author(s)
      Ryo Murai
    • Organizer
      Workshop CELLO
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A Sequent Calculus for K-restricted Common Sense Modal Predicate Logic2019

    • Author(s)
      Takahiro Sawasaki
    • Organizer
      SOCREAL 2019: 5th International Workshop on Philosophy and Logic of Social Reality
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Acts of commanding and promising in a dynamified common sense deontic term-sequence-modal logic2019

    • Author(s)
      山田友幸
    • Organizer
      北海道大学哲学会 2019年度後期研究発表会
    • Related Report
      2019 Annual Research Report
    • Invited
  • [Presentation] Count-as Conditionals, Background Conditions and Hierarchy of Constitutive Rules2019

    • Author(s)
      Tomoyuki Yamada
    • Organizer
      16th INTERNATIONAL CONGRESS ON LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Acts of Permitting in Dynamic Modal Logic2019

    • Author(s)
      山田友幸
    • Organizer
      科学基礎論学会2019年度講演会
    • Related Report
      2019 Annual Research Report
  • [Presentation] Cut-free and Analytic Sequent Calculus of First-Order Intuitionistic Epistemic Logic2019

    • Author(s)
      Youan Su and Katsuhiko Sano
    • Organizer
      SOCREAL 2019: 5th International Workshop on Philosophy and Logic of Social Reality
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Sequent Calculi for Multi-Agent Epistemic Logics for Distributed Knowledge2019

    • Author(s)
      Ryo Murai and Katsuhiko Sano
    • Organizer
      SOCREAL 2019: 5th International Workshop on Philosophy and Logic of Social Reality
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Continuations in Linguistics, Logic, and Mathematics2019

    • Author(s)
      Masaya Taniguchi and Satoshi Tojo
    • Organizer
      Lisp Meetup #78
    • Related Report
      2019 Annual Research Report
  • [Presentation] Subjunctive Markers and Delimited Continuations2019

    • Author(s)
      Masaya Taniguchi and Satoshi Tojo
    • Organizer
      Symbolic Logic and Computer Science (SLACS) 2019
    • Related Report
      2019 Annual Research Report
  • [Presentation] Sequent Calculi for Normal Update Logics2019

    • Author(s)
      Katsuhiko Sano and Minghui Ma
    • Organizer
      Eighth Indian Conference on Logic and its Applications 2019
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Count-as Conditionals in Channel Theory2018

    • Author(s)
      Tomoyuki Yamada
    • Organizer
      the 4th Asian Workshop on Philosophical Logic
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Majority Decision with Minority Protection: Cost Assignment for Public Project2018

    • Author(s)
      Mamoru Kaneko
    • Organizer
      International Conference on Applied Economics 2018
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Deliberation and Meta-agreement: Majority Decision with Minority Protection2018

    • Author(s)
      Mamoru Kaneko
    • Organizer
      VII Hurwicz Workshop on Mechanism Design Theory
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Goldblatt-Thomason-style characterization for intuitionistic inquisitive logic2018

    • Author(s)
      Katsuhiko Sano
    • Organizer
      Inquisitive Logic Workshop
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Conventional Effects and Status Functions: Reconciling Austin with Searle2018

    • Author(s)
      Tomoyuki Yamada
    • Organizer
      Perspectives on Speech as Action
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Concept Similarity under the Agent's Preference for Description Logic FL0 under the Unfoldable TBOX2018

    • Author(s)
      T. Racharak and S. Tojo
    • Organizer
      10th International Conference on Agents and Artificial Intelligence (ICAART)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Logical Dynamics of Assertions and Commitments2017

    • Author(s)
      Tomoyuki Yamada
    • Organizer
      Workshop "Assertion: Norms and Effects"
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Knowledge Account of Concessions2017

    • Author(s)
      Tomoyuki Yamada
    • Organizer
      Timothy Williamson Conference
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Moral dilemmas and contrary-to-duty scenarios in dynamic logic of acts of commanding: the significance of moral considerations behind moral judgments2017

    • Author(s)
      Tomoyuki Yamada
    • Organizer
      The 15th Asian Logic Conference
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Formalizing Status Functions of Illocutionary Acts2017

    • Author(s)
      Tomoyuki Yamada
    • Organizer
      John Searle Symposium
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Linear Algebraic Representation of Knowledge State of Agent2017

    • Author(s)
      Satoshi Tojo
    • Organizer
      From Computation to Agency
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] DEMO+A:Epistemic Reasoning System with Awareness and its Legal Application2017

    • Author(s)
      T. Goto, R. Hatano, and S.Tojo
    • Organizer
      11th International Workshop on Juris-Informatics (JURISIN)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Conditional Questions Revisited2017

    • Author(s)
      Yurie Hara and Katsuhiko Sano
    • Organizer
      InqBnB 2 (Inquisitiveness Below and Beyond the Sentence Boundary)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Analytic Sequent Calculus for Bi-intuitionistic Stable Tense Logic2017

    • Author(s)
      佐野勝彦
    • Organizer
      第52回MLG数理論理学研究集会
    • Related Report
      2017 Annual Research Report
  • [Presentation] The D axiom and contrary-to-duty paradox in deontic logic2017

    • Author(s)
      Takahiro Sawasaki
    • Organizer
      The 15th Asian Logic Conference
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 義務違反のパラドクスと D 公理と条件文2017

    • Author(s)
      澤崎 高広
    • Organizer
      2017年度北日本哲学研究会
    • Related Report
      2017 Annual Research Report
  • [Presentation] Combining Answer Set Programming with Description Logics for Analogical Reasoning under an Agent Preference2017

    • Author(s)
      T. Racharak, S. Tojo, N. Hung, and P. Boonkwan
    • Organizer
      International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Book] Proceedings of SOCREAL2022: 6th International Workshop on Philosophy and Logic of Social Reality, 28 February - 1 March, 2022, On-Line2022

    • Author(s)
      Tomoyuki Yamada (ed.), Ryo Hatano, Katsuhiko Sano, Tai-Wei Hu, Mamoru Kaneko, Satoshi Tojo, Fenrong Liu, Johan van Benthem, Jeremy Seligman, Tomoyuki Yamada, Sonja Smets, Alexandru Baltag, Yasuo Nakayama, Satoru Suzuki, Masanobu Toyooka, Tomoaki Kawano, Leonardo Pacheco, and Kazuyuki Tanaka (co-authors)
    • Total Pages
      85
    • Publisher
      HUSCAP (Hokkaido University Collection of Scholarly and Academic Papers)
    • Related Report
      2021 Annual Research Report
  • [Book] 『再―くりかえす世界』(第4章「知能と再帰──アラン・チューリングの機械観」(pp. 85-125)を分担執筆)2021

    • Author(s)
      橋本 雄(編)、橋本雄、宮嶋俊一、和田博美、水溜真由美、佐野勝彦、小杉康、佐藤健太郎、武田雅哉、金沢英之、平沢和司(共著)
    • Total Pages
      306
    • Publisher
      北海道大学出版会
    • ISBN
      9784832934115
    • Related Report
      2020 Annual Research Report
  • [Book] SOCREAL 2019: Proceedings of the International Workshop on Philosophy and Logic of Social Reality, Sapporo, Japan, 20192020

    • Author(s)
      Tomoyuki Yamada (ed.), Jeremy Seligman, Takahiro Sawasaki, David Strohmaier, Tomoyuki Yamada, Maryam Ebrahimi Dinani, Maria Isabel Narvaez Mora, Thomas Agotnes, Satoru Suzuki, Sujata Ghosh, Barteld Kooi, Yuan Su, Katsuhiko Sano, Ryo Murai (co-authors)
    • Total Pages
      80
    • Publisher
      HUSCAP (Hokkaido University)
    • Related Report
      2019 Annual Research Report
  • [Book] Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings (Lecture Notes in Computer Science, Vol. 10455)2017

    • Author(s)
      Alexandru Baltag, Jeremy Seligman, and Tomoyuki Yamada (eds.)
    • Total Pages
      706
    • Publisher
      Springer
    • Related Report
      2017 Annual Research Report
  • [Remarks] LOG-UCI (Logic of Utterance-Context Interaction)

    • URL

      https://www.asahi-net.or.jp/~yt6t-ymd/log-uci.html

    • Related Report
      2021 Annual Research Report
  • [Remarks] SOCREAL 2019

    • URL

      https://www.asahi-net.or.jp/~yt6t-ymd/sr19/index.html

    • Related Report
      2021 Annual Research Report
  • [Remarks] Proceedings of SOCREAL 2019

    • URL

      https://eprints.lib.hokudai.ac.jp/dspace/handle/2115/76674

    • Related Report
      2021 Annual Research Report
  • [Remarks] SOCREAL2022

    • URL

      https://www.asahi-net.or.jp/~yt6t-ymd/sr22/index.html

    • Related Report
      2021 Annual Research Report
  • [Remarks] Proceedings of SOCREAL 2022

    • URL

      https://eprints.lib.hokudai.ac.jp/dspace/handle/2115/84820

    • Related Report
      2021 Annual Research Report
  • [Remarks] LOG-UCI (Logic of Utterance-Context Interaction)

    • URL

      http://www.asahi-net.or.jp/~yt6t-ymd/log-uci.html

    • Related Report
      2020 Annual Research Report 2019 Annual Research Report 2018 Annual Research Report
  • [Remarks] SOCREAL 2019

    • URL

      http://www.asahi-net.or.jp/~yt6t-ymd/sr19/index.html

    • Related Report
      2020 Annual Research Report 2019 Annual Research Report
  • [Remarks] Proceedings of SOCREAL 2019

    • URL

      https://eprints.lib.hokudai.ac.jp/dspace/handle/2115/76690

    • Related Report
      2020 Annual Research Report 2019 Annual Research Report
  • [Remarks] LOG-UCI

    • URL

      http://www.asahi-net.or.jp/~yt6t-ymd/log-uci.html

    • Related Report
      2017 Annual Research Report
  • [Funded Workshop] SOCREAL2022 (6th International Workshop on Philosophy and Logic of Social Reality)2022

    • Related Report
      2021 Annual Research Report
  • [Funded Workshop] SOCREAL 2019: 5th International Workshop on Philosophy and Logic of Social Reality2019

    • Related Report
      2019 Annual Research Report

URL: 

Published: 2017-04-28   Modified: 2023-01-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi