LOG-UCI: Papers and Talks


An Interdisciplinary Study of the Dynamics of Utterances in Social Communication in terms of Dynamic Modal Logic (JSPS KAKENHI Grant Number JP 22H00597, April 2022-March2027)

An Interdisciplinary Study of the Logical Dynamics of the Interaction between Utterances and Social Contexts (JSPS KAKENHI Grant Number JP 17H02258, April 2017-March2022)


Papers

Yamada

Yamada, T. (2019), "Moral Dilemmas and the Contrary-to-Duty Scenarios in Dynamic Logic of Acts of Commanding — The Significance of Moral Considerations Behind Moral Judgments —", In Kim, B., Brendle, J., Lee, G., Liu, F., Ramanujam, R., Shashi M. S., Tsuboi, A. and Yu, L. (eds.) Proceedings of the 14th and 15th Asian Logic Conferences. January, 2019, pp. 249-269. World Scientific Publishing Company.
BibTeX:
  @inproceedings{Yamada2019d,
    author = {Tomoyuki Yamada},
    editor = {Byunghan Kim and Jörg Brendle and Gyesik Lee and Fenrong Liu and Ramanujam R. and Shashi M. Srivastava and Akito Tsuboi and Liang Yu},
    title = {Moral Dilemmas and the Contrary-to-Duty Scenarios in Dynamic Logic of Acts of Commanding — The Significance of Moral Considerations Behind Moral Judgments —},
    booktitle = {Proceedings of the 14th and 15th Asian Logic Conferences},
    publisher = {World Scientific Publishing Company},
    year = {2019},
    pages = {249--269},
    doi = {10.1142/9789813237551_0013}
  }
  
Sawasaki, T., Sano, K. and Yamada, T. (2019), "Term-Sequence-Modal Logics", In Blackburn, P., Lorini, E. and Guo, M. (eds.) Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18--21, 2019, Proceedings. Vol. 11813, pp. 244-258. Springer, Berlin, Heidelberg.
BibTeX:
@inproceedings{Sawasaki2019,
  author = {Takahiro Sawasaki and Katsuhiko Sano and Tomoyuki Yamada},
  editor = {Patrick Blackburn and Emiliano Lorini and Meiyun Guo},
  title = {Term-Sequence-Modal Logics},
  booktitle = {Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18--21, 2019, Proceedings},
  publisher = {Springer, Berlin, Heidelberg},
  year = {2019},
  volume = {11813},
  pages = {244--258},
  doi = {10.1007/978-3-662-60292-8}
}
Baltag, A., Seligman, J. and Yamada, T. (2017), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings. Sapporo, Japan Vol. 10455, Springer.
BibTeX:
@book{Baltag2017,
  author = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada},
  title = {Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings},
  publisher = {Springer},
  year = {2017},
  volume = {10455},
  doi = {10.1007/978-3-662-55665-8}
}

Kaneko

Kaneko, M. (2019), "Expected Utility Theory with Probability Grids and Preference Formation", Economic Theory. August, 2019. Springer Science and Business Media LLC.
BibTeX:
  @article{Kaneko2019,
    author = {Mamoru Kaneko},
    title = {Expected Utility Theory with Probability Grids and Preference Formation},
    journal = {Economic Theory},
    publisher = {Springer Science and Business Media LLC},
    year = {2019},
    doi = {10.1007/s00199-019-01225-4}
  }
  
Hu, T., Kaneko, M. and Suzuki, N. (2019), "Small Infinitary Epistemic Logics", The Review of Symbolic Logic. February, 2019. Vol. 12(4), pp. 702-735. Cambridge University Press.
BibTeX:
  @article{Hu2019,
    author = {Tai-wei Hu and Mamoru Kaneko and Nobu-yuki Suzuki},
    title = {Small Infinitary Epistemic Logics},
    journal = {The Review of Symbolic Logic},
    publisher = {Cambridge University Press},
    year = {2019},
    volume = {12},
    number = {4},
    pages = {702--735},
    doi = {10.1017/s1755020319000029}
  }
  
Kaneko, M. (2018), "Approximate Quasi-linearity for Large Incomes", In Neogy, S. K., Bapat, R. B. and Dubey, D. (eds.) Indian Statistical Institute Series. pp. 159-177. Springer, Singapore.
BibTeX:
  @incollection{Kaneko2018a,
    author = {Mamoru Kaneko},
    editor = {S. K. Neogy and Ravindra B. Bapat and Dipti Dubey},
    title = {Approximate Quasi-linearity for Large Incomes},
    booktitle = {Indian Statistical Institute Series},
    publisher = {Springer, Singapore},
    year = {2018},
    pages = {159--177},
    doi = {10.1007/978-981-13-3059-9_9}
  }
  
Kaneko, M. (2018), "Exploring New Socio-Economic Thoughts for a Small and Narrow Earth", Advances in Applied Sociology. Vol. 8, pp. 397-421. Scientific Research Publishing, Inc.
BibTeX:
  @article{Kaneko2018,
    author = {Mamoru Kaneko},
    title = {Exploring New Socio-Economic Thoughts for a Small and Narrow Earth},
    journal = {Advances in Applied Sociology},
    publisher = {Scientific Research Publishing, Inc.},
    year = {2018},
    volume = {8},
    pages = {397--421},
    doi = {10.4236/aasoci.2018.85024}
  }
  
Kaneko, M. and Ito, T. (2017), "An Equilibrium-Econometric Analysis of Rental Housing Markets with Indivisibilities", In Mallozzi, L. and Pardalos, P. (eds.) Spatial Interaction Models : Facility Location using Game theory. Vol. 118, pp. 193-223. Springer, Cham.
BibTeX:
  @incollection{Kaneko2017,
    author = {Mamoru Kaneko and Tamon Ito},
    editor = {Lina Mallozzi and Panos Pardalos},
    title = {An Equilibrium-Econometric Analysis of Rental Housing Markets with Indivisibilities},
    journal = {Spatial Interaction Models : Facility Location using Game theory},
    publisher = {Springer, Cham},
    year = {2017},
    volume = {118},
    pages = {193--223},
    doi = {10.1007/978-3-319-52654-6_9}
  }
  

Tojo

Taniguchi, M. and Tojo, S. (to appear), "Generic Framework to Uncross Dependency", In Artificial Life and Robotics.
BibTeX:
        @inproceedings{Taniguchi2020,
          author = {Masaya Taniguchi and Satoshi Tojo},
          title = {Generic Framework to Uncross Dependency},
          booktitle = {Artificial Life and Robotics},
          year = {to appear}
        }
        
Goto, T., Hatano, R. and Tojo, S. (2019), "Dynamic Epistemic Reasoning with Awareness and Its Legal Application", Vietnam Journal of Computer Science. February, 2019. Vol. 06(01), pp. 29-42. World Scientific Publishing Company.
BibTeX:
        @article{Goto2019,
          author = {Tetsuji Goto and Ryo Hatano and Satoshi Tojo},
          title = {Dynamic Epistemic Reasoning with Awareness and Its Legal Application},
          journal = {Vietnam Journal of Computer Science},
          publisher = {World Scientific Publishing Company},
          year = {2019},
          volume = {06},
          number = {01},
          pages = {29--42},
          doi = {10.1142/s2196888819500064}
        }
        
Yang, S., Taniguchi, M. and Tojo, S. (2019), "4-valued Logic for Agent Communication with Private/Public Information Passing", In Rocha, A., Steels, L. and van den Herik, J. (eds.) Proceedings of the 11th International Conference on Agents and Artificial Intelligence. February, 2019. Vol. 1, pp. 54-61. SCITEPRESS - Science and Technology Publications.
BibTeX:
        @inproceedings{Yang2019,
          author = {Song Yang and Masaya Taniguchi and Satoshi Tojo},
          editor = {Ana Rocha and Luc Steels and Jaap van den Herik},
          title = {4-valued Logic for Agent Communication with Private/Public Information Passing},
          booktitle = {Proceedings of the 11th International Conference on Agents and Artificial Intelligence},
          publisher = {SCITEPRESS - Science and Technology Publications},
          year = {2019},
          volume = {1},
          pages = {54--61},
          doi = {10.5220/0007400000540061}
        }
        
Fujieda, M., Nomura, S. and Tojo, S. (2019), "Formalizing Preconception in a Framework of Epistemic logic", In The Proceedings of Thirteenth International Workshop on Juris-informatics (JURISIN2019).
BibTeX:
        @inproceedings{Fujieda2019,
          author = {Momoka Fujieda and Shoshin Nomura and Satoshi Tojo},
          title = {Formalizing Preconception in a Framework of Epistemic logic},
          booktitle = {The Proceedings of Thirteenth International Workshop on Juris-informatics (JURISIN2019)},
          year = {2019}
        }
        
Nomura, S., Arai, N. and Tojo, S. (2019), "The Dynamics of Narrow-minded Belief", In Rocha, A., Steels, L. and van den Herik, J. (eds.) Proceedings of the 11th International Conference on Agents and Artificial Intelligence. Vol. 2, pp. 247-255. SCITEPRESS - Science and Technology Publications.
BibTeX:
        @inproceedings{Nomura2019,
          author = {Shoshin Nomura and Norihiro Arai and Satoshi Tojo},
          editor = {Ana Rocha and Luc Steels and Jaap van den Herik},
          title = {The Dynamics of Narrow-minded Belief},
          booktitle = {Proceedings of the 11th International Conference on Agents and Artificial Intelligence},
          publisher = {SCITEPRESS - Science and Technology Publications},
          year = {2019},
          volume = {2},
          pages = {247--255},
          doi = {10.5220/0007394502470255}
        }
        
Jirakunkanok, P., Sano, K. and Tojo, S. (2018), "Dynamic Epistemic Logic of Belief Change in Legal Judgments", Artificial Intelligence and Law. August, 2018. Vol. 26, pp. 201-249.
BibTeX:
        @article{Jirakunkanok2018,
          author = {Pimolluck Jirakunkanok and Katsuhiko Sano and Satoshi Tojo},
          title = {Dynamic Epistemic Logic of Belief Change in Legal Judgments},
          journal = {Artificial Intelligence and Law},
          year = {2018},
          volume = {26},
          pages = {201--249},
          doi = {10.1007/s10506-017-9202-0}
        }
        
Racharak, T., Suntisrivaraporn, B. and Tojo, S. (2018), "Personalizing a Concept Similarity Measure in the Description Logic ELH with Preference Profile", Computing and Informatics. Vol. 37(3), pp. 581-613. Slovak Academy of Sciences.
BibTeX:
        @article{Racharak2018,
          author = {Teeradaj Racharak and Boontawee Suntisrivaraporn and Satoshi Tojo},
          title = {Personalizing a Concept Similarity Measure in the Description Logic ELH with Preference Profile},
          journal = {Computing and Informatics},
          publisher = {Slovak Academy of Sciences},
          year = {2018},
          volume = {37},
          number = {3},
          pages = {581--613},
          doi = {10.4149/cai_2018_3_581}
        }
        
Racharak, T. and Tojo, S. (2018), "Concept Similarity under the Agent's Preferences for the Description Logic FL0 with Unfoldable TBox", In Proceedings of the 10th International Conference on Agents and Artificial Intelligence (ICAART). Vol. 2, pp. 201-210. SciTePress.
BibTeX:
        @inproceedings{Racharak2018a,
          author = {Teeradaj Racharak and Satoshi Tojo},
          title = {Concept Similarity under the Agent's Preferences for the Description Logic FL0 with Unfoldable TBox},
          booktitle = {Proceedings of the 10th International Conference on Agents and Artificial Intelligence (ICAART)},
          publisher = {SciTePress},
          year = {2018},
          volume = {2},
          pages = {201--210},
          doi = {10.5220/0006653402010210}
        }
        
Goto, T., Hatano, R. and Tojo, S. (2018), "Dynamic Epistemic Reasoning System with Awareness (DEMO+A) and its Legal Application", In Abraham, A. P., Roth, J., Rodrigues, L. and Peng, G. C. (eds.) MCCSIS 2018 - Multi Conference on Computer Science and Information Systems; Proceedings of the International Conferences on Big Data Analytics, Data Mining and Computational Intelligence 2018, Theory and Practice in Modern Computing 2018 and Connected Smart Cities 2018. pp. 73-80. IADIS.
BibTeX:
        @inproceedings{Goto2018,
          author = {T. Goto and R. Hatano and S. Tojo},
          editor = {Ajith P. Abraham and Jorg Roth and Luis Rodrigues and Guo Chao Peng},
          title = {Dynamic Epistemic Reasoning System with Awareness (DEMO+A) and its Legal Application},
          booktitle = {MCCSIS 2018 - Multi Conference on Computer Science and Information Systems; Proceedings of the International Conferences on Big Data Analytics, Data Mining and Computational Intelligence 2018, Theory and Practice in Modern Computing 2018 and Connected Smart Cities 2018},
          publisher = {IADIS},
          year = {2018},
          pages = {73--80}
        }
        
Racharak, T., Tojo, S., Hung, N. and Boonkwan, P. (2017), "Combining Answer Set Programming with Description Logics for Analogical Reasoning under an Agent's Preferences", In Benferhat, S., Tabia, K. and Ali, M. (eds.) Advances in Artificial Intelligence: From Theory to Practice. Vol. 10351, pp. 306-316. Springer, Cham.
BibTeX:
        @incollection{Racharak2017,
          author = {Teeradaj Racharak and Satoshi Tojo and Nguyen Duy Hung and Prachya Boonkwan},
          editor = {Salem Benferhat and Karim Tabia and Moonis Ali},
          title = {Combining Answer Set Programming with Description Logics for Analogical Reasoning under an Agent's Preferences},
          booktitle = {Advances in Artificial Intelligence: From Theory to Practice},
          publisher = {Springer, Cham},
          year = {2017},
          volume = {10351},
          pages = {306--316},
          doi = {10.1007/978-3-319-60045-1_33}
        }
        
Hatano, R., Sano, K. and Tojo, S. (2017), "Cut Free Labelled Sequent Calculus for Dynamic Logic of Relation Changers", In Yang, S. C., Lee, K. Y. and Ono, H. (eds.) Philosophical Logic: Current Trends in Asia, Proceedings of AWPL-TPLC 2016. pp. 153-180. Springer, Singapore.
BibTeX:
        @inproceedings{Hatano2017,
          author = {Ryo Hatano and Katsuhiko Sano and Satoshi Tojo},
          editor = {Syraya Chin-Mu Yang and Kok Yong Lee and Hiroakira Ono},
          title = {Cut Free Labelled Sequent Calculus for Dynamic Logic of Relation Changers},
          booktitle = {Philosophical Logic: Current Trends in Asia, Proceedings of AWPL-TPLC 2016},
          publisher = {Springer, Singapore},
          year = {2017},
          pages = {153--180},
          doi = {10.1007/978-981-10-6355-8_8}
        }
        

Sano

Hatano, R. and Sano, K. (2020), "Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms", Studia Logica. March, 2020. Springer Science and Business Media LLC.
BibTeX:
        @article{Hatano2020,
          author = {Ryo Hatano and Katsuhiko Sano},
          title = {Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms},
          journal = {Studia Logica},
          publisher = {Springer Science and Business Media LLC},
          year = {2020},
          doi = {10.1007/s11225-020-09902-5}
        }
        
Nomura, S., Ono, H. and Sano, K. (2020), "A Cut-free Labelled Sequent Calculus for Dynamic Epistemic Logic", Journal of Logic and Computation. January, 2020. Vol. 30(1), pp. 321-348. Oxford University Press.
BibTeX:
        @article{Nomura2020,
          author = {Shoshin Nomura and Hiroakira Ono and Katsuhiko Sano},
          title = {A Cut-free Labelled Sequent Calculus for Dynamic Epistemic Logic},
          journal = {Journal of Logic and Computation},
          publisher = {Oxford University Press},
          year = {2020},
          volume = {30},
          number = {1},
          pages = {321--348},
          doi = {10.1093/logcom/exaa014}
        }
        
Su, Y. and Sano, K. (2020), "Logics for Knowability Paradox with a Non-normal Possibility Operator", In Liu, F. and Ono, H. and Yu, J. (eds.) Knowledge, Proof and Dynamics, The Fourth Asian Workshop on Philosophical Logic. pp. 51-72. Springer Singapore.
BibTeX:
        @inproceedings{Su2020,
          author = {Youan Su and Katsuhiko Sano},
          editor = {Fenrong Liu and Hiroakira Ono and Junhua Yu},
          title = {Logics for Knowability Paradox with a Non-normal Possibility Operator},
          booktitle = {Knowledge, Proof and Dynamics, The Fourth Asian Workshop on Philosophical Logic},
          publisher = {Springer Singapore},
          year = {2020},
          pages = {51--72},
          doi = {10.1007/978-981-15-2221-5_4}
        }
        
Murai, R. and Sano, K. (2020), "Craig Interpolation of Epistemic Logics with Distributed Knowledge", In Herzig, A. and Kontinen, J. (eds.) Foundations of Information and Knowledge Systems (FoIKS 2020). Vol. 12012, pp. 211-221. Springer, Cham.
BibTeX:
        @inproceedings{Murai2020,
          author = {Ryo Murai and Katsuhiko Sano},
          editor = {Herzig A. and Kontinen J.},
          title = {Craig Interpolation of Epistemic Logics with Distributed Knowledge},
          booktitle = {Foundations of Information and Knowledge Systems (FoIKS 2020)},
          publisher = {Springer, Cham},
          year = {2020},
          volume = {12012},
          pages = {211--221},
          doi = {10.1007/978-3-030-39951-1_13}
        }
        
Sano, K. and Ma, M. (2019), "Sequent Calculi for Normal Update Logics", In Khan, M. A. and Manuel, A. (eds.) Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. Delhi, India Vol. 11600, pp. 132-143. Springer, Berlin, Heidelberg.
BibTeX:
        @incollection{Sano2019a,
          author = {Katsuhiko Sano and Minghui Ma},
          editor = {Md. Aquil Khan and Amaldev Manuel},
          title = {Sequent Calculi for Normal Update Logics},
          booktitle = {Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings},
          publisher = {Springer, Berlin, Heidelberg},
          year = {2019},
          volume = {11600},
          pages = {132--143},
          doi = {10.1007/978-3-662-58771-3_13}
        }
        
Sano, K. and Virtema, J. (2019), "Characterising Modal Definability of Team-based Logics via the Universal Modality", Annals of Pure and Applied Logic. September, 2019. Vol. 170(9), pp. 1100-1127. Elsevier BV.
BibTeX:
        @article{Sano2019,
          author = {Katsuhiko Sano and Jonni Virtema},
          title = {Characterising Modal Definability of Team-based Logics via the Universal Modality},
          journal = {Annals of Pure and Applied Logic},
          publisher = {Elsevier BV},
          year = {2019},
          volume = {170},
          number = {9},
          pages = {1100--1127},
          doi = {10.1016/j.apal.2019.04.009}
        }
        
Sawasaki, T., Sano, K. and Yamada, T. (2019), "Term-Sequence-Modal Logics", In Blackburn, P. and Lorini, E. and Guo, M. (eds.) Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18--21, 2019, Proceedings. Vol. 11813, pp. 244-258. Springer, Berlin, Heidelberg.
BibTeX:
        @inproceedings{Sawasaki2019,
          author = {Takahiro Sawasaki and Katsuhiko Sano and Tomoyuki Yamada},
          editor = {Patrick Blackburn and Emiliano Lorini and Meiyun Guo},
          title = {Term-Sequence-Modal Logics},
          booktitle = {Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18--21, 2019, Proceedings},
          publisher = {Springer, Berlin, Heidelberg},
          year = {2019},
          volume = {11813},
          pages = {244--258},
          doi = {10.1007/978-3-662-60292-8}
        }
        
Su, Y. and Sano, K. (2019), "First-Order Intuitionistic Epistemic Logic", In Blackburn, P. and Lorini, E. and Guo, M. (eds.) Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings. Vol. 11813, pp. 326-339. Springer, Berlin, Heidelberg.
BibTeX:
          @inproceedings{Su2019,
            author = {Youan Su and Katsuhiko Sano},
            editor = {Patrick Blackburn and Emiliano Lorini and Meiyun Guo},
            title = {First-Order Intuitionistic Epistemic Logic},
            booktitle = {Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings},
            publisher = {Springer, Berlin, Heidelberg},
            year = {2019},
            volume = {11813},
            pages = {326--339},
            doi = {10.1007/978-3-662-60292-8_24}
          }
          
Sindoni, G., Sano, K. and Stell, J.G. (2018), "Axiomatizing Discrete Spatial Relations", In Desharnais, J. and Guttmann, W. and Joosten, S. (eds.) Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings. October, 2018. Vol. 11194, pp. 113-130. Springer, Cham.
BibTeX:
        @incollection{Sindoni2018,
          author = {Giulia Sindoni and Katsuhiko Sano and John G. Stell},
          editor = {Jules Desharnais and Walter Guttmann and Stef Joosten},
          title = {Axiomatizing Discrete Spatial Relations},
          booktitle = {Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings},
          publisher = {Springer, Cham},
          year = {2018},
          volume = {11194},
          pages = {113--130},
          doi = {10.1007/978-3-030-02149-8_8}
        }
        
Jirakunkanok, P., Sano, K. and Tojo, S. (2018), "Dynamic Epistemic Logic of Belief Change in Legal Judgments", Artificial Intelligence and Law. August, 2018. Vol. 26, pp. 201-249.
BibTeX:
        @article{Jirakunkanok2018,
          author = {Pimolluck Jirakunkanok and Katsuhiko Sano and Satoshi Tojo},
          title = {Dynamic Epistemic Logic of Belief Change in Legal Judgments},
          journal = {Artificial Intelligence and Law},
          year = {2018},
          volume = {26},
          pages = {201--249},
          doi = {10.1007/s10506-017-9202-0}
        }
        
Hatano, R., Sano, K. and Tojo, S. (2017), "Cut Free Labelled Sequent Calculus for Dynamic Logic of Relation Changers", In Yang, S. C., Lee, K. Y. and Ono, H. (eds.) Philosophical Logic: Current Trends in Asia, Proceedings of AWPL-TPLC 2016. pp. 153-180. Springer, Singapore.
BibTeX:
        @inproceedings{Hatano2017,
          author = {Ryo Hatano and Katsuhiko Sano and Satoshi Tojo},
          editor = {Syraya Chin-Mu Yang and Kok Yong Lee and Hiroakira Ono},
          title = {Cut Free Labelled Sequent Calculus for Dynamic Logic of Relation Changers},
          booktitle = {Philosophical Logic: Current Trends in Asia, Proceedings of AWPL-TPLC 2016},
          publisher = {Springer, Singapore},
          year = {2017},
          pages = {153--180},
          doi = {10.1007/978-981-10-6355-8_8}
        }
        
Yamasaki, S. and Sano, K. (2017), "Proof-Theoretic Embedding from Visser's Basic Propositional Logic to Modal Logic K4 via Non-labelled Sequent Calculi", In Yang, S. C. and Lee, K. Y. and Ono, H. (eds.) Philosophical Logic: Current Trends in Asia, Proceedings of AWPL-TPLC 2016. pp. 233-257. Springer, Singapore.
BibTeX:
        @incollection{Yamasaki2017,
          author = {Sakiko Yamasaki and Katsuhiko Sano},
          editor = {Syraya Chin-Mu Yang and Kok Yong Lee and Hiroakira Ono},
          title = {Proof-Theoretic Embedding from Visser's Basic Propositional Logic to Modal Logic K4 via Non-labelled Sequent Calculi},
          booktitle = {Philosophical Logic: Current Trends in Asia, Proceedings of AWPL-TPLC 2016},
          publisher = {Springer, Singapore},
          year = {2017},
          pages = {233--257},
          doi = {10.1007/978-981-10-6355-8_12}
        }
        
Sano, K. (2017), "Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus", In Baltag, A., Seligman, J. and Yamada, T. (eds.) Logic, Rationality, and Interaction6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings. Vol. 10455, pp. 224-239. Springer, Berlin, Heidelberg.
BibTeX:
        @inproceedings{Sano2017,
          author = {Katsuhiko Sano},
          editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada},
          title = {Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus},
          booktitle = {Logic, Rationality, and Interaction6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings},
          publisher = {Springer, Berlin, Heidelberg},
          year = {2017},
          volume = {10455},
          pages = {224--239},
          doi = {10.1007/978-3-662-55665-8_16}
        }
        

Research Collaborators

Sawasaki, T., Sano, K. and Yamada, T. (2019), "Term-Sequence-Modal Logics", In Blackburn, P., Lorini, E. and Guo, M. (eds.) Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18--21, 2019, Proceedings. Vol. 11813, pp. 244-258. Springer, Berlin, Heidelberg.
BibTeX:
        @inproceedings{Sawasaki2019,
          author = {Takahiro Sawasaki and Katsuhiko Sano and Tomoyuki Yamada},
          editor = {Patrick Blackburn and Emiliano Lorini and Meiyun Guo},
          title = {Term-Sequence-Modal Logics},
          booktitle = {Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18--21, 2019, Proceedings},
          publisher = {Springer, Berlin, Heidelberg},
          year = {2019},
          volume = {11813},
          pages = {244--258},
          doi = {10.1007/978-3-662-60292-8}
        }
        
Su, Y. and Sano, K. (2020), "Logics for Knowability Paradox with a Non-normal Possibility Operator", In Liu, F., Ono, H. and Yu, J. (eds.) Knowledge, Proof and Dynamics, The Fourth Asian Workshop on Philosophical Logic. pp. 51-72. Springer Singapore.
BibTeX:
        @inproceedings{Su2020,
          author = {Youan Su and Katsuhiko Sano},
          editor = {Fenrong Liu and Hiroakira Ono and Junhua Yu},
          title = {Logics for Knowability Paradox with a Non-normal Possibility Operator},
          booktitle = {Knowledge, Proof and Dynamics, The Fourth Asian Workshop on Philosophical Logic},
          publisher = {Springer Singapore},
          year = {2020},
          pages = {51--72},
          doi = {10.1007/978-981-15-2221-5_4}
        }
        
Su, Y. and Sano, K. (2019), "First-Order Intuitionistic Epistemic Logic", In Blackburn, P., Lorini, E. and Guo, M. (eds.) Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings. Vol. 11813, pp. 326-339. Springer, Berlin, Heidelberg.
BibTeX:
        @inproceedings{Su2019,
          author = {Youan Su and Katsuhiko Sano},
          editor = {Patrick Blackburn and Emiliano Lorini and Meiyun Guo},
          title = {First-Order Intuitionistic Epistemic Logic},
          booktitle = {Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings},
          publisher = {Springer, Berlin, Heidelberg},
          year = {2019},
          volume = {11813},
          pages = {326--339},
          doi = {10.1007/978-3-662-60292-8_24}
        }
        
Murai, R. and Sano, K. (2020), "Craig Interpolation of Epistemic Logics with Distributed Knowledge", In Herzig, A. and Kontinen, J. (eds.) Foundations of Information and Knowledge Systems (FoIKS 2020). Vol. 12012, pp. 211-221. Springer, Cham.
BibTeX:
        @inproceedings{Murai2020,
          author = {Ryo Murai and Katsuhiko Sano},
          editor = {Herzig A. and Kontinen J.},
          title = {Craig Interpolation of Epistemic Logics with Distributed Knowledge},
          booktitle = {Foundations of Information and Knowledge Systems (FoIKS 2020)},
          publisher = {Springer, Cham},
          year = {2020},
          volume = {12012},
          pages = {211--221},
          doi = {10.1007/978-3-030-39951-1_13}
        }
        


Talks

Yamada

山田友幸 (2019), "Acts of Commanding and Promising in a Dynamified Common Sense Deontic Term-sequence-modal Logic", In 北海道大学哲学会 2019年度後期研究発表会. 札幌, 日本, December, 2019.
(English: Yamada, T. (2019), "Acts of Commanding and Promising in a Dynamified Common Sense Deontic Term-sequence-modal Logic", In The Winter Meeting in 2019 on Philosophical Society of Hokkaido University. Sapporo, Japan, December, 2019.)
BibTeX:
@inproceedings{Yamada2019,
  author = {山田友幸},
  title = {Acts of Commanding and Promising in a Dynamified Common Sense Deontic Term-sequence-modal Logic},
  booktitle = {北海道大学哲学会 2019年度後期研究発表会},
  year = {2019}
}
山田友幸 (2019), "Acts of Permitting in Dynamic Modal Logic", In 科学基礎論学会2019年度講演会. 金沢, 日本, November, 2019.
(English: Yamada, T. (2019), "Acts of Permitting in Dynamic Modal Logic", In The Autumn Meeting in 2019 on Japan Association for Philosophy of Science. Kanazawa, Japan, November, 2019.)
BibTeX:
@inproceedings{Yamada2019b,
  author = {山田友幸},
  title = {Acts of Permitting in Dynamic Modal Logic},
  booktitle = {科学基礎論学会2019年度講演会},
  year = {2019}
}
Yamada, T. (2019), "Count-as Conditionals, Background Conditions and Hierarchy of Constitutive Rules", In The 16th International Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019). Prague, Czech Republic, August, 2019.
BibTeX:
@inproceedings{Yamada2019a,
  author = {Tomoyuki Yamada},
  title = {Count-as Conditionals, Background Conditions and Hierarchy of Constitutive Rules},
  booktitle = {The 16th International Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019)},
  year = {2019}
}
Yamada, T. (2018), "Conventional Effects and Status Functions: Reconciling Austin with Searle", In Perspectives on Speech as Action. Trieste, Italy, November, 2018.
BibTeX:
@inproceedings{Yamada2018a,
  author = {Tomoyuki Yamada},
  title = {Conventional Effects and Status Functions: Reconciling Austin with Searle},
  booktitle = {Perspectives on Speech as Action},
  year = {2018}
}
Yamada, T. (2018), "Count-as Conditionals in Channel Theory", In The 4th Asian Workshop on Philosophical Logic. Beijing, China, October, 2018.
BibTeX:
@inproceedings{Yamada2018,
  author = {Tomoyuki Yamada},
  title = {Count-as Conditionals in Channel Theory},
  booktitle = {The 4th Asian Workshop on Philosophical Logic},
  year = {2018}
}
Yamada, T. (2017), "Logical Dynamics of Assertions and Commitments", In Workshop "Assertion: Norms and Effects". Trieste, Italy, November, 2017.
BibTeX:
@inproceedings{Yamada2017,
  author = {Tomoyuki Yamada},
  title = {Logical Dynamics of Assertions and Commitments},
  booktitle = {Workshop "Assertion: Norms and Effects"},
  year = {2017}
}
Yamada, T. (2017), "Knowledge Account of Concessions", In Timothy Williamson Conference. Split, Croatia, September, 2017.
BibTeX:
@inproceedings{Yamada2017a,
  author = {Tomoyuki Yamada},
  title = {Knowledge Account of Concessions},
  booktitle = {Timothy Williamson Conference},
  year = {2017}
}
Yamada, T. (2017), "Moral Dilemmas and Contrary-to-duty Scenarios in Dynamic Logic of Acts of Commanding: the Significance of Moral Considerations behind Moral Judgments", In The 15th Asian Logic Conference. Daejeon, South Korea, July, 2017.
BibTeX:
@inproceedings{Yamada2017b,
  author = {Tomoyuki Yamada},
  title = {Moral Dilemmas and Contrary-to-duty Scenarios in Dynamic Logic of Acts of Commanding: the Significance of Moral Considerations behind Moral Judgments},
  booktitle = {The 15th Asian Logic Conference},
  year = {2017}
}
Yamada, T. (2017), "John Searle Symposium", In Formalizing Status Functions of Illocutionary Acts. Rijeka, Croatia, May, 2017.
BibTeX:
@inproceedings{Yamada2017c,
  author = {Tomoyuki Yamada},
  title = {John Searle Symposium},
  booktitle = {Formalizing Status Functions of Illocutionary Acts},
  year = {2017}
}

Kaneko

Kaneko, M. (2018), "Deliberation and Meta-agreement: Majority Decision with Minority Protection", In VII Hurwicz Workshop on Mechanism Design Theory. Warsaw, Poland, December, 2018.
BibTeX:
  @inproceedings{Kaneko2018c,
    author = {Mamoru Kaneko},
    title = {Deliberation and Meta-agreement: Majority Decision with Minority Protection},
    booktitle = {VII Hurwicz Workshop on Mechanism Design Theory},
    year = {2018}
  }
  
Kaneko, M. (2018), "Majority Decision with Minority Protection: Cost Assignment for Public Project", In International Conference on Applied Economics 2018. Warsaw, Poland, July, 2018.
BibTeX:
  @inproceedings{Kaneko2018b,
    author = {Mamoru Kaneko},
    title = {Majority Decision with Minority Protection: Cost Assignment for Public Project},
    booktitle = {International Conference on Applied Economics 2018},
    year = {2018}
  }
  

Tojo

Taniguchi, M. and Tojo, S. (2019), "Subjunctive Markers and Delimited Continuations", In Symbolic Logic and Computer Science (SLACS) 2019. Kyoto, Japan, September, 2019.
BibTeX:
        @inproceedings{Taniguchi2019a,
          author = {Masaya Taniguchi and Satoshi Tojo},
          title = {Subjunctive Markers and Delimited Continuations},
          booktitle = {Symbolic Logic and Computer Science (SLACS) 2019},
          year = {2019}
        }
        
Taniguchi, M. and Tojo, S. (2019), "Continuations in Linguistics, Logic, and Mathematics", In Lisp Meetup #78. online, July, 2019.
BibTeX:
        @inproceedings{Taniguchi2019,
          author = {Masaya Taniguchi and Satoshi Tojo},
          title = {Continuations in Linguistics, Logic, and Mathematics},
          booktitle = {Lisp Meetup #78},
          year = {2019}
        }
        
Racharak, T. and Tojo, S. (2018), "Concept Similarity under the Agent's Preference for Description Logic FL0 under Unfoldable TBox", In 10th International Conference on Agents and Artificial Intelligence (ICAART). Funchal, Portugal, January, 2018.
BibTeX:
        @inproceedings{Racharak2018b,
          author = {T. Racharak and S. Tojo},
          title = {Concept Similarity under the Agent's Preference for Description Logic FL0 under Unfoldable TBox},
          booktitle = {10th International Conference on Agents and Artificial Intelligence (ICAART)},
          year = {2018}
        }
        
Goto, T., Hatano, R. and Tojo, S. (2017), "DEMO+A:Epistemic Reasoning System with Awareness and its Legal Application", In 11th International Workshop on Juris-Informatics (JURISIN). Tokyo, Japan, November, 2017.
BibTeX:
        @inproceedings{Goto2017,
          author = {T. Goto and R. Hatano and S. Tojo},
          title = {DEMO+A:Epistemic Reasoning System with Awareness and its Legal Application},
          booktitle = {11th International Workshop on Juris-Informatics (JURISIN)},
          year = {2017}
        }
        
Tojo, S. (2017), "Linear Algebraic Representation of Knowledge State of Agent", In From Computation to Agency. Beijing, China, October, 2017.
BibTeX:
        @inproceedings{Tojo2017,
          author = {Satoshi Tojo},
          title = {Linear Algebraic Representation of Knowledge State of Agent},
          booktitle = {From Computation to Agency},
          year = {2017}
        }
        
Racharak, T., Tojo, S., Hung, N. and Boonkwan, P. (2017), "Combining Answer Set Programming with Description Logics for Analogical Reasoning under an Agent Preference", In The 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE). Arras, France, June, 2017.
BibTeX:
        @inproceedings{Racharak2017a,
          author = {T. Racharak and S. Tojo and N. Hung and P. Boonkwan},
          title = {Combining Answer Set Programming with Description Logics for Analogical Reasoning under an Agent Preference},
          booktitle = {The 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE)},
          year = {2017}
        }
        

Sano

Murai, R. and Sano, K. (2019), "Sequent Calculi for Multi-Agent Epistemic Logics for Distributed Knowledge", In SOCREAL 2019: 5th International Workshop on Philosophy and Logic of Social Reality. Sapporo, Japan, November, 2019.
BibTeX:
        @inproceedings{Murai2019,
          author = {Ryo Murai and Katsuhiko Sano},
          title = {Sequent Calculi for Multi-Agent Epistemic Logics for Distributed Knowledge},
          booktitle = {SOCREAL 2019: 5th International Workshop on Philosophy and Logic of Social Reality},
          year = {2019}
        }
        
Su, Y. and Sano, K. (2019), "Cut-free and Analytic Sequent Calculus of First-Order Intuitionistic Epistemic Logic", In SOCREAL 2019: 5th International Workshop on Philosophy and Logic of Social Reality. Sapporo, Japan, November, 2019.
BibTeX:
        @inproceedings{Su2019a,
          author = {Youan Su and Katsuhiko Sano},
          title = {Cut-free and Analytic Sequent Calculus of First-Order Intuitionistic Epistemic Logic},
          booktitle = {SOCREAL 2019: 5th International Workshop on Philosophy and Logic of Social Reality},
          year = {2019}
        }
        
Sano, K. and Ma, M. (2019), "Sequent Calculi for Normal Update Logics", In Eighth Indian Conference on Logic and its Applications 2019. Delhi, India, March, 2019.
BibTeX:
        @inproceedings{Sano2019b,
          author = {Katsuhiko Sano and Minghui Ma},
          title = {Sequent Calculi for Normal Update Logics},
          booktitle = {Eighth Indian Conference on Logic and its Applications 2019},
          year = {2019}
        }
        
Hatano, R. and Sano, K. (2018), "Relation Changers are Bounded Morphisms", In Proceedings of the 4th Asian Workshop on Philosophical Logic, 2018, Oct. 20-21. Tsinghua University, Beijing, China, October, 2018.
BibTeX:
        @inproceedings{Hatano2018,
          author = {Ryo Hatano and Katsuhiko Sano},
          editor = {Tsinghua University},
          title = {Relation Changers are Bounded Morphisms},
          booktitle = {Proceedings of the 4th Asian Workshop on Philosophical Logic, 2018, Oct. 20-21, Tsinghua University, Beijing, China},
          year = {2018}
        }
        
Sano, K. (2018), "Goldblatt-Thomason-style Characterization for Intuitionistic Inquisitive Logic", In Inquisitive Logic Workshop. Amsterdam, Netherlands, July, 2018.
BibTeX:
        @inproceedings{Sano2018,
          author = {Katsuhiko Sano},
          title = {Goldblatt-Thomason-style Characterization for Intuitionistic Inquisitive Logic},
          booktitle = {Inquisitive Logic Workshop},
          year = {2018}
        }
        
Hara, Y. and Sano, K. (2017), "Conditional Questions Revisited", In InqBnB 2 (Inquisitiveness Below and Beyond the Sentence Boundary). Amsterdam, Netherlands, December, 2017.
BibTeX:
        @inproceedings{Hara2017,
          author = {Yurie Hara and Katsuhiko Sano},
          title = {Conditional Questions Revisited},
          booktitle = {InqBnB 2 (Inquisitiveness Below and Beyond the Sentence Boundary)},
          year = {2017}
        }
        
佐野勝彦 (2017), "Analytic Sequent Calculus for Bi-intuitionistic Stable Tense Logic", In 第52回MLG数理論理学研究集会. 静岡, 日本, December, 2017.
(English: Sano, K. (2017), "Analytic Sequent Calculus for Bi-intuitionistic Stable Tense Logic", In The 52th MLG Meeting at Shizuoka. Shizuoka, Japan, December, 2017.)
BibTeX:
        @inproceedings{佐野勝彦2017,
          author = {佐野勝彦},
          title = {Analytic Sequent Calculus for Bi-intuitionistic Stable Tense Logic},
          booktitle = {第52回MLG数理論理学研究集会},
          year = {2017}
        }
        

Research Collaborators

Sawasaki, T. (2019), "A Sequent Calculus for K-restricted Common Sense Modal Predicate Logic", In SOCREAL 2019: 5th International Workshop on Philosophy and Logic of Social Reality. Sapporo, Japan, November, 2019.
BibTeX:
        @inproceedings{Sawasaki2019a,
          author = {Takahiro Sawasaki},
          title = {A Sequent Calculus for K-restricted Common Sense Modal Predicate Logic},
          booktitle = {SOCREAL 2019: 5th International Workshop on Philosophy and Logic of Social Reality},
          year = {2019}
        }
        
Sawasaki, T. (2017), "The D Axiom and Contrary-to-duty Paradox in Deontic Logic", In The 15th Asian Logic Conference. Daejeon, South Korea, July, 2017.
BibTeX:
        @inproceedings{Sawasaki2017,
          author = {Takahiro Sawasaki},
          title = {The D Axiom and Contrary-to-duty Paradox in Deontic Logic},
          booktitle = {The 15th Asian Logic Conference},
          year = {2017}
        }
        
澤崎高広 (2017), "義務違反のパラドクスと D 公理と条件文", In 2017年度北日本哲学研究会. 仙台, 日本, September, 2017.
(English: Sawasaki, T. (2017), "Contrary-to-duty Paradox, D Axiom, and Conditionals", In Kita Nihon Tetsugaku Kenkyukai 2017. Sendai, Japan, September, 2017.)
BibTeX:
        @inproceedings{澤崎高広2017,
          author = {澤崎高広},
          title = {義務違反のパラドクスと D 公理と条件文},
          booktitle = {2017年度北日本哲学研究会},
          year = {2017}
        }
        
Su, Y. and Sano, K. (2019), "Cut-free and Analytic Sequent Calculus of First-Order Intuitionistic Epistemic Logic", In SOCREAL 2019: 5th International Workshop on Philosophy and Logic of Social Reality. Sapporo, Japan, November, 2019.
BibTeX:
        @inproceedings{Su2019a,
          author = {Youan Su and Katsuhiko Sano},
          title = {Cut-free and Analytic Sequent Calculus of First-Order Intuitionistic Epistemic Logic},
          booktitle = {SOCREAL 2019: 5th International Workshop on Philosophy and Logic of Social Reality},
          year = {2019}
        }
        
Murai, R. (2020), "On Intuitionistic Epistemic Logic with Distributed Knowledge", In Computational Epistemic Logic in Lorraine (CELLO). Lorraine, France, February, 2020.
BibTeX:
        @inproceedings{Murai2020a,
          author = {Ryo Murai},
          title = {On Intuitionistic Epistemic Logic with Distributed Knowledge},
          booktitle = {Computational Epistemic Logic in Lorraine (CELLO)},
          year = {2020}
        }
        
Murai, R. and Sano, K. (2019), "Sequent Calculi for Multi-Agent Epistemic Logics for Distributed Knowledge", In SOCREAL 2019: 5th International Workshop on Philosophy and Logic of Social Reality. Sapporo, Japan, November, 2019.
BibTeX:
        @inproceedings{Murai2019,
          author = {Ryo Murai and Katsuhiko Sano},
          title = {Sequent Calculi for Multi-Agent Epistemic Logics for Distributed Knowledge},
          booktitle = {SOCREAL 2019: 5th International Workshop on Philosophy and Logic of Social Reality},
          year = {2019}
        }
        


Back to LOG-UCI Home Page!