Curriculum Vitae


氏名

佐野 勝彦 (さの かつひこ)

所属

北海道大学 大学院文学研究科 准教授

職歴

履歴

専門分野

論理学(特に様相論理を中心とする非古典論理)とその応用

業績

査読付き論文誌

  1. Katsuhiko Sano and Jonni Virtema, Characterising Modal Definability of Team-Based Logics via the Universal Modality, Annals of Pure and Applied Logic, to appear.
  2. Tadeusz Litak and Dirk Pattinson and Katsuhiko Sano and Lutz Schroeder, Model Theory and Proof Theory of Coalgebraic Predicate Logic, Logical Methods in Computer Science, Volume 14, Issue 1, March 20, 2018.
  3. Ryo Hatano, Katsuhiko Sano, and Satoshi Tojo, `Cut Free Labelled Sequent Calculus for Dynamic Logic of Relation Changers', Editors: Yang, Syraya Chin-Mu, Lee, Kok Yong, Ono, Hiroakira (Eds.), Philosophical Logic: Current Trends in Asia, Proceedings of AWPL-TPLC 2016, pp.153-180, 2017.
  4. Sakiko Yamasaki and Katsuhiko Sano, `Proof-Theoretic Embedding from Visser's Basic Propositional Logic to Modal Logic K4 via Non-labelled Sequent Calculi', Editors: Yang, Syraya Chin-Mu, Lee, Kok Yong, Ono, Hiroakira (Eds.), Philosophical Logic: Current Trends in Asia, Proceedings of AWPL-TPLC 2016, pp.233-258, 2017.
  5. Pimolluck Jirakunkanok, Katsuhiko Sano, and Satoshi Tojo, `Dynamic epistemic logic of belief change in legal judgments', Artificial Intelligence and Law, pp.1-49, 2017. (First Online: 02 August 2017)
  6. Ryo Hatano, Katsuhiko Sano, and Satoshi Tojo, `Teaching Modal Logic from the Linear Algebraic Viewpoint', The IfColog Journal of Logics and their Applications (FLAP), vol. 4, no. 1, pp. 111-148, 2017.
  7. Minghui Ma and Katsuhiko Sano, `How to Update Neighborhood Models', To appear in Journal of Logic and Computation, First published online: May 25, 2015.
  8. Sakiko Yamasaki and Katsuhiko Sano, `Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics', Studia Logica Library, Yang et al (Eds): Structural Analysis of Non-Classical Logics, pp.223-252, 2015.
  9. Shoshin Nomura, Katsuhiko Sano and Satoshi Tojo, `Revising a Labelled Sequent Calculus for Public Announcement Logic', Studia Logica Library, Yang et al (Eds): Structural Analysis of Non-Classical Logics, pp.131-158, 2015.
  10. Katsuhiko Sano, `Avoiding Impossibility Theorems in Radical Inquisitive Semantics', Shier Ju, Hu Liu and Hiroakira Ono, editors, Modality, Semantics and Interpretations, Logic in Asia: Studia Logica Library, pp.107-120, 2015. (Post-proceedings of The Second Asian Workshop on Philosophical Logic)
  11. Hitoshi Omori and Katsuhiko Sano, `Generalizing Functional Completeness in Belnap-Dunn Logic', Studia Logica, Volume 103, Issue 5, pp 883-917, 2015.
  12. Katsuhiko Sano and Hitoshi Omori, `An Expansion of First-order Belnap-Dunn Logic', Logic Journal of the IGPL, Vol.22, No.3, pp.458-481, 2014.
  13. Hitoshi Omori and Katsuhiko Sano, `da Costa meets Belnap and Nelson', Recent Trends in Philosophical Logic, Trends in Logic, Vol.41, pp.145-166, 2014.
  14. 古賀たかし,佐野勝彦,東条敏,「包含関係と先行関係をもつ時区間論理におけるフレームの埋め込み可能性」,『コンピュータソフトウェア』,Vol.30, No.1, pp.152-163, 2013年.
  15. Katsuhiko Sano, `Axiomatizing Hybrid Product: How Can We Reason Many-dimensionally in Hybrid Logic?', Journal of Applied Logic, Vol.8(4), pp.459-474, 2010.
  16. Katsuhiko Sano, `Hybrid Counterfactual Logic: David Lewis Meets Arthur Prior Again', Journal of Logic, Language and Information, Vol.18(4), pp.515-539, 2009.
  17. Katsuhiko Sano and Kentaro Sato, `Semantical Characterizations for Irreflexive and Generalized Modal Languages', Notre Dame Journal of Formal Logic, vol. 48(2), pp.205-228, 2007.
  18. 佐野勝彦,中山康雄,「非反射的様相をもつ二様相論理」『科学基礎論研究』,科学基礎論学会,pp.1-10,106号,2006年.

査読付き会議予稿集

  1. Katsuhiko Sano, `Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus', In: Baltag A., Seligman J., Yamada T. (eds) Logic, Rationality, and Interaction, LORI 2017, Lecture Notes in Computer Science, Vol. 10455, Springer, Berlin, Heidelberg, pp.224-239, 2017.
  2. Sujata Ghosh and Katsuhiko Sano, `Valuing Others’ Opinions: Preference, Belief and Reliability Dynamics', In Proceedings of the 9th International Conference on Agents and Artificial Intelligence (ICAART 2017), Vol. 2, pp. 615-623, 2017.
  3. Katsuhiko Sano and John G. Stell, `Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics,' Sujata Ghosh and R. Ramanujam (eds.), M4M@ICLA 2017, EPTCS 243, pp.105--121, 2017.
  4. Katsuhiko Sano and Jonni Virtema, `Characterizing Relative Frame Definability in Team Semantics via the Universal Modality', Logic, Language, Information, and Computation, Volume 9803 of the series Lecture Notes in Computer Science, pp. 392-409, 2016.
  5. Shoshin Nomura, Hiroakira Ono and Katsuhiko Sano, `A Cut-free Labelled Sequent Calculus for Dynamic Epistemic Logic', Logical Foundations of Computer Science, Vol.9537, Lecture Notes in Computer Science, pp.283-298, 2015.
  6. Shoshin Nomura, Katsuhiko Sano and Satoshi Tojo, `A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic', Logic for Programming, Artificial Intelligence, and Reasoning, Vol. 9450, Lecture Notes in Computer Science, pp.187-202, 2015.
  7. Katsuhiko Sano, `Seligman-style Internalized Sequent Calculus for Two Dimensional Reasoning', Proceedings of the Twelfth International Workshop of Logic and Engineering of Natural Language Semantics 12 (LENLS 12), pp. 163-172, 2015.
  8. Katsuhiko Sano and Satoshi Tojo, `Dynamic logic for multi-agent (mis-)communication', Proceedings of The Seventh International Conference on Knowledge and Systems Engineering (KSE 2015), IEEE, pp.256-261, 2015.
  9. Pimolluck Jirakunkanok, Katsuhiko Sano and Satoshi Tojo, `Analyzing Belief Re-revision by Consideration of Reliability Change in Legal Case', Proceedings of The Seventh International Conference on Knowledge and Systems Engineering (KSE 2015), IEEE, pp.228-233, 2015.
  10. Katsuhiko Sano and Jonni Virtema, `Axiomatizing Propositional Dependence Logics', 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), Stephan Kreutzer editor, Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, pp. 292--307, 2015.
  11. Ryo Hatano, Katsuhiko Sano and Satoshi Tojo, `Teaching Modal Logic from Linear Algebraic Viewpoints', Proceedings of the 4th International Conference on Tools for Teaching Logic (TTL2015), pp.55-64, 2015.
  12. Katsuhiko Sano and Jonni Virtema `Characterizing Frame Definability in Team Semantics via The Universal Modality', Logic, Language, Information, and Computation, Lecture Notes in Computer Science, Volume 9160, pp. 140-155, 2015.
  13. Pimolluck Jirakunkanok, Katsuhiko Sano and Satoshi Tojo, `Analyzing Reliability Change in Legal Case'. New Frontiers in Artificial Intelligence, Lecture Notes in Computer Science, Volume 9067, pp.274-290, 2015.
  14. Katsuhiko Sano and Minghui Ma, `Alternative Semantics for Visser's Propositional Logics', Logic, Language, and Computation, Lecture Notes in Computer Science, Volume 8984, pp.257-275, 2015. (Post-proceedings of Tenth Tbilisi Symposium on Language, Logic and Computation)
  15. Minghui Ma and Katsuhiko Sano, Extensions of Basic Propositional Logic, Xishun Zhao, Qi Feng, Byunghan Kim and Liang Yu (ed.), Proceedings of the 13th Asian Logic Conference, 13th Asian Logic Conference, Guangzhou, China, 16-20 September 2013, World Scientific, pp.170-200, 2015.
  16. Ryo Hatano, Katsuhiko Sano and Satoshi Tojo, `Linear Algebraic Semantics for Multi-agent Communication', Proceedings of 7th International Conference on Agents and Artificial Intelligence, Vol.1, SCITEPRESS - Science and Technology Publications, pp.174-181, 2015. (Short Paper)
  17. Minghui Ma, Katsuhiko Sano, Francois Schwarzentruber and Fernando R. Velazquez-Quesada, `Tableaux for non-normal public announcement logic', Logic and Its Applications (ICLA 2015), Lecture Notes in Computer Science, Vol.8923, pp.132-145, 2015.
  18. Katsuhiko Sano and Yurie Hara. `Conditional independence and biscuit conditional questions in dynamic semantics', Proceedings of the 24th Semantics and Linguistic Theory Conference, pp.84-101, 2014.
  19. Pimolluck Jirakunkanok, Shinya Hirose, Katsuhiko Sano, and Satoshi Tojo, `Belief Re-revision in Chivalry Case', Juris-Informatics 2013, LNCS Vol.8417, Springer, pp.230-245, 2014.
  20. Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema, `The Expressive Power of Modal Dependence Logic.' Advances in Modal Logic 2014, pp.294-312.
  21. Katsuhiko Sano and Yuichiro Hosokawa, `Gentzenization of Dynamic Topological Hybrid Logics', Trends in Logic XIII, Lodz University Press, pp.217-231, 2014.
  22. Katsuhiko Sano, `Comments on Seligman, Liu and Girard', Logic Across the University: Foundations and Applications, Proceedings of the Tsinghua Logic Conference, Beijing, 2013, pp.473-476, 2013.
  23. Minghui Ma and Katsuhiko Sano, `How to Update Neighborhood Models', Logic, Rationality, and Interaction, Lecture Notes in Computer Science, Volume 8196, pp.204-217, 2013.
  24. Katsuhiko Sano and Satoshi Tojo, `Dynamic Epistemic Logic for Channel-Based Agent Communication' , Logic and Its Applications, Lecture Notes in Computer Science, Vol.7750, pp.109-120, 2013.
  25. Tadeusz Litak, Dirk Pattinson, and Katsuhiko Sano, `Coalgebraic Predicate Logic: Equipollence Results and Proof Theory', Logic, Language, and Computation, 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers, Lecture Notes in Computer Science, Vol.7758, pp.257-276, 2013.
  26. Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano and Lutz Schroeder, `Coalgebraic Predicate Logic', ICALP (2), Lecture Notes in Computer Science, Volume 7392/2012, pp.299-311, 2012.
  27. Katsuhiko Sano, Ryo Hatano and Satoshi Tojo, `Misconception in Legal Cases From Dynamic Logical Viewpoints', Proceedings of the Sixth International Workshop of Juris-Informatics, pp.101-113, 2012.
  28. Hitoshi Omori and Katsuhiko Sano, `Generalizing Functional Completeness in Belnap-Dunn's Four Valued System', Book of Abstracts, LATD 2012, pp.117-123, 2012.
  29. Katsuhiko Sano and Hitoshi Omori, `An Expansion of First-order Belnap-Dunn logic', In Petr Cintula, Shier Jun, and Martin Vita, editors, Volume of Abstracts of Non-classical Modal and Predicate Logics, pp.111-119, 2011.
  30. Katsuhiko Sano, Shingo Hagiwara, and Satoshi Tojo, `An Intuitionistic Investigation of Prerequisite-Effect Structure', JSAI-isAI Workshops 2011, Lecture Notes in Computer Science, 2012, Volume 7258/2012, 170-183.
  31. Katsuhiko Sano, `Generalized Product of Coalgebraic Hybrid Logics', Algebra and Coalgebra in Computer Science (Proceedings of CALCO 2011), LNCS, Vol.6859/2011, pp.329-343, 2011.
  32. Katsuhiko Sano, `Axiomatizing Hybrid Products of Monotone Neighborhood Frames', Electronic Notes in Theoretical Computer Science, (Post-proceedings of Hylo 2010), vol. 273, pp.51-67, 2011.
  33. Katsuhiko Sano, `First-order Inquisitive Pair Logic', 4th Indian Conference on Logic and its Applications (ICLA 2011), LNCS 6521, pp.147-161, 2011.
  34. Katsuhiko Sano and Minghui Ma, `Goldblatt-Thomason-style Theorems for Graded Modal Language', Proceedings of Advances in Modal Logic 2010 (AiML 2010), College Publications, London, pp.330-349, 2010.
  35. Katsuhiko Sano, `How to reason multi-dimensionally in hybrid logics?', Michiel De Smet, Stefan Wintein (Eds.): Abstract Booklet of PhD's in Logic II, pp.17-20, 2010.
  36. Katsuhiko Sano, `Sound and Complete Tree-Sequent Calculus for Inquisitive Logic', H. Ono, M. Kanazawa, and R. de Queiroz (Eds.): WoLLIC 2009, LNAI 5514, pp.365-378, 2009.
  37. Katsuhiko Sano, `David Lewis Meets Arthur Prior Again', Proceedings of the Sixteenth Amsterdam Colloquium, Maria Aloni, Paul Dekker and Floris Roelofsen (eds.), ILLC/Department of Philosophy, University of Amsterdam, pp.187-192, 2007.
  38. Katsuhiko Sano, `A Hybridization of Irreflexive Modal Logics', Proceedings of the International Workshop on Hybrid Logic (HyLo 2006), Electronic Notes in Theoretical Computer Science, Vol.174(6), 3 June 2007, pp.95-111.

著作

  1. 菊池 誠編・佐野勝彦・倉橋 太志・薄葉 季路・黒川 英徳・菊池 誠 著 『数学における証明と真理―様相論理と数学基礎論―』共立出版、2016年.
  2. 伊藤和行編,佐野勝彦・杉本舞 訳・解説『コンピュータ理論の起源 [第一巻] チューリング』近代科学社, 2014年.

書評

  1. 佐野勝彦, アンドルー・ホッジス著,土屋俊,土屋希和子,村上祐子訳『エニグマ アラン・チューリング伝(上・下)』,数学通信,21(2) pp.79-82, 2016年。
  2. 佐野勝彦, 田中一之『チューリングと超パズル』,数学セミナー 2014年12月号,p.92, 2014.
  3. 佐野勝彦, 田中一之編『ゲーデルと20世紀の論理学(2)完全性定理とモデル理論』,科学哲学 40(2), pp.101-104, 日本科学哲学会, 2007.

それ以外の書いたもの

  1. Katsuhiko Sano and Mai Sugimoto, `From Computing Machines to Learning Intelligent Machines: Chronological Development of Alan Turing's Thought on Machines', in Schuster A. (eds), Understanding Information, Advanced Information and Knowledge Processing, Springer, Cham, pp. 101-130.
  2. 佐野勝彦「チューリングと計算論」数学セミナー 2012年7月号,pp.14-18.
  3. 佐野勝彦「コミュニティーにおける論理:Facebook Logic」, 人工知能学会誌,Vol.26, No.6, 2011/11, pp.703-707.
  4. Katsuhiko Sano, `Dynamified Hybrid Counterfactual Logic', LIRa yearbook 2010, ILLC, University of Amsterdam, pp.27-48, 2011(Invited)
  5. 佐野勝彦 「アムステルダム大学ILLC滞在記」, 科学哲学ニューズレター No.45, 日本科学哲学会, 2010.
  6. Katsuhiko Sano, `Taking Products in Hybrid Logic', Proceedings of the 42th MLG meeting at Fukuoka, pp.37-40, 2009.
  7. 佐野勝彦「条件法論理に基づく情報更新の論理」, 『科学哲学科学史研究』第二号,pp.1-15, 2008.
  8. Katsuhiko Sano, 「様相論理へのホモフォニック真理論」(サーヴェイ論文), 『科学哲学科学史研究』第三号,pp.59-78, 2009.
  9. Katsuhiko Sano, `A Generalization of Characterizations for the Hybrid Definability',『京都大学数理解析研究所講究録1555 モデル理論における独立概念と次元』,数理解析研究所,pp.75-93,2007年5月.
  10. Katsuhiko Sano, `Topological Pure Completeness for Hybrid Logics without the Global Modality', Proceedings of the 40th MLG meeting at Yufuin, pp.33-37, 2007.
  11. 佐野勝彦, 「量化様相論理での二様相分割」, 『科学哲学科学史研究』第一号, pp.73-90, 2006年3月.
  12. Katsuhiko Sano, `Predicate Bimodal Logics with Irreflexive Modality', Proceedings of the 39th MLG meeting at Gamagori, Japan 2005, pp.2-5.
  13. Katsuhiko Sano, `Bimodal Logics with Irreflexive Modality', Proceedings of the 38th MLG meeting at Gamagori, Japan 2004, pp.50-52.

学会発表

  1. Katsuhiko Sano, Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics, Second Workshop on Mathematical Logic and its Applications, Kanazawa, Japan, 8th March 2018.
  2. 佐野勝彦, 「チューリングにおける計算機械と知能機械の連関」, 北海道大学哲学会, 北海道大学 人文社会科学総合教育研究棟, 2017年12月16日.
  3. Yurie Hara and Katsuhiko Sano, `Conditional Questions Revisited', InqBnB2, Inquisitiveness Below and Beyond the Sentence Boundary, Amsterdam, 19th December 2017. (Given by Yurie Hara)
  4. Katsuhiko Sano, `Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus', Logic, Rationality, and Interaction, LORI VI, Sapporo, Japan, 13th September 2018.
  5. 佐野勝彦,「数理形態学のための双直観主義様相論理」, 科学基礎論学会 2017年度 総会と講演会, 琉球大学, 沖縄, 2017年6月17日.
  6. Sujata Ghosh and Katsuhiko Sano, `Valuing Others’ Opinions: Preference, Belief and Reliability Dynamics', 9th International Conference on Agents and Artificial Intelligence (ICAART 2017), Porto, Portugal, 26th February 2017 (Poster Presentation).
  7. Katsuhiko Sano and John G. Stell, `Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics', Ninth Methods for Modality Workshop, Kanpur, India, 9th January 2017.
  8. Katsuhiko Sano, `On interdependence between belief updates and reliability structures: an approach from two-dimensional hybrid logic,' 4th International Workshop on Philosophy and Logic of Social Reality, Hokkaido University, Sapporo, Japan, 29th October 2016. (By invitation of Tomoyuki Yamada, a substitute of Mamoru Kaneko).
  9. Ryo Hatano and Katsuhiko Sano, `Cut free labelled sequent calculus for dynamic logic with relation changers', The Joint Conference of the 3rd Asian Workshop on Philosophical Logic and the 3rd Taiwan Philosophical Logic Colloquium, Department of Philosophy, National Taiwan University, Taipei, Taiwan, 8th October 2016.
  10. Sakiko Yamasaki and Katsuhiko Sano, `Proof-Theoretic Embedding from Visser’s Basic Propositional Logic to Modal Logic K4 via Non-Labelled Sequent Calculi', The Joint Conference of the 3rd Asian Workshop on Philosophical Logic and the 3rd Taiwan Philosophical Logic Colloquium, Department of Philosophy, National Taiwan University, Taipei, Taiwan, 5th October 2016.
  11. Katsuhiko Sano, `Seligman-style Internalized Sequent Calculus for Two Dimensional Reasoning', Logic and Engineering of Natural Language Semantics 12 (LENLS 12), Keio University, 17th November 2015.
  12. Katsuhiko Sano and Satoshi Tojo, `Dynamic logic for multi-agent (mis-)communication', The Seventh International Conference on Knowledge and Systems Engineering (KSE 2015), Ho Chi Minh city, Vietnam, 8th October 2015.
  13. Katsuhiko Sano and Jonni Virtema, `Axiomatizing Propositional Dependence Logics', 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), Technische Universitaet Berlin, Berlin, Germany, 8th September 2015.
  14. 佐野勝彦, 特別講演「余代数様相論理とその周辺」,日本数学会,2015年度年会, 明治大学, 2015年3月22日.
  15. Katsuhiko Sano, `On interdependence between belief updates and reliability structures: An approach from two-dimensional hybrid logic', Asian Logic Conference 2015, 6th January 2015, IIT Bombay, Mumbai, India. (Invited as a session speaker of Philosophical Logic by Fenrong Liu)
  16. Katsuhiko Sano, `On interdependence between belief updates and reliability structures: An approach from two-dimensional hybrid logic', Workshop on Correlated Information Change, 26th November 2014, Amsterdam, Netherland. (Invited as a keynote speaker)
  17. Shoshin Nomura, Katsuhiko Sano and Satoshi Tojo, `Revising A Labelled Sequent Calculus for Public Announcement Logic', The 2014 Taiwan Philosophical Logic Colloquium, Department of Philosophy, National Taiwan University, 24th October 2014.
  18. Sakiko Yamasaki and Katsuhiko Sano, Constructive Embedding from Logics of Strict Implication to Modal Logics, The 2014 Taiwan Philosophical Logic Colloquium, Department of Philosophy, National Taiwan University, 25th October 2014.
  19. 佐野勝彦, 「四値論理のカット除去定理」,日本数学会,2014年度秋季総合分科会, 広島大学, 2014年9月28日.
  20. Katsuhiko Sano, `Preference Upgrade in Lewis' System of Spheres', 14th SAET Conference on Current Trends in Economics, WASEDA UNIVERSITY, Tokyo, Japan, 20th August 2014 (by invitation of Nobu-Yuki Suzuki).
  21. Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema, `The Expressive Power of Modal Dependence Logic.' Advances in Modal Logic 2014, University of Groningen, Netherlands, 6th October 2014.
  22. Katsuhiko Sano and Yuichiro Hosokawa, `Gentzenization of dynamic topological hybrid logics', TRENDS IN LOGIC XIII, University of Lodz, Lodz, Poland, 3rd July 2014.
  23. Sakiko Yamasaki and Katsuhiko Sano, `Constructive embedding of Visser's basic propositional logic into modal logic K4', TRENDS IN LOGIC XIII, University of Lodz, Lodz, Poland, 5th July 2014.
  24. Katsuhiko Sano and Yurie Hara, `Conditional independence and biscuit conditional questions in dynamic semantics', SALT 24, New York University, New York, USA, 30th May 2014. (Poster Presentation)
  25. 佐野勝彦,「木構造情報によるエージェントの信念更新」,人工知能学会全国大会2014,ひめぎんホール,松山,愛媛,2014年5月12日.
  26. Katsuhiko Sano, `Impossibility Theorem on Radical Inquisitive Semantics', The Second Asian Workshop on Philosophical Logic, Guangzhou, China, 12th March, 2014.
  27. Katsuhiko Sano, `Topological semantics for Visser's propositional logic', Correctness by Construction 2014, Genoa, Italy, 25th March, 2014.
  28. Minghui Ma and Katsuhiko Sano, `How to Update Neighborhood Models', the Fourth International Workshop on Logic, Rationality and Interaction, 10th October 2013, Hangzhou, China.
  29. Katsuhiko Sano and Minghui Ma, `Alternative Semantics for Visser's Basic Propositional Logic', Tenth International Tbilisi Symposium on Language, Logic and Computation, 23th September 2013, Gudauri, Georgia.
  30. Katsuhiko Sano and Minghui Ma, `Extensions of Basic Propositional Logic', 13th Asian Logic Conference, 16th September 2013, Guangzhou, China.
  31. Katsuhiko Sano and Satoshi Tojo, `Dynamic Epistemic Logic for Channel-based Agent Communication', ICLA 2013, 10th January, 2013, Chennai, India.
  32. 佐野勝彦「ビット列を捉える無限様相論理」,日本科学哲学会,第45回大会,宮崎大学,2012年11月11日.
  33. Hitoshi Omori and Katsuhiko Sano, `Generalizing Functional Completeness in Belnap-Dunn's Four Valued System', LATD 2012, 13th September 2012, Kanazawa, Japan.
  34. 佐野勝彦 「様相定義可能性の意味論的特徴づけ」,科学基礎論学会 2012年度総会,首都大学東京,2012年6月17日.
  35. 大森仁・佐野勝彦 「多値論理の弱関数的完全性」,科学基礎論学会 2012年度総会,首都大学東京,2012年6月17日.
  36. Hitoshi Omori and Katsuhiko Sano, `Recapturing Belnap and Nelson in da Costa's view', 11th Trends in Logic: Advances in Philosophical Logic, 3th June 2012, Bochum, Germany.
  37. Katsuhiko Sano, Shingo Hagiwara and Satoshi Tojo, `Prerequisite-Effect Structure on Intuitionistic Kripke Model', JURISIN 2011, 1st December 2011, Takamatsu, Japan.
  38. Katsuhiko Sano and Hitoshi Omori, `An Expansion of First-order Belnap-Dunn Logic', Non-Classical Modal and Predicate Logic, 9th December 2011, Guangzhou, China.
  39. 佐野勝彦「余代数様相論理の多次元積」 日本科学哲学会,第44回大会,日本大学文理学部,2011年11月19日.
  40. Tadeusz Litak, Dirk Pattinson and Katsuhiko Sano `Coalgebraic Predicate Logic: First Step', Special Session on Logic, Information, and Agency, Kutaisi 2011, Ninth International Tbilisi Symposium on Language, Logic and Computation, 27th September 2011, Kutaisi, Georgia.
  41. Katsuhiko Sano, `Generalized Product of Coalgebraic Hybrid Logics', 4th Conference on Algebra and Coalgebra in Computer Science, 30th August 2011, Winchester, UK.
  42. 佐野勝彦,`Impossibility Theorem on Radical Inquisitive Semantics', 応用哲学会第三回年次研究大会,2011年4月,千葉大学(地震の影響のため中止).
  43. Katsuhiko Sano, `First-Order Inquisitive Pair Logic', 4th Indian Conference on Logic and its Applications (ICLA 2011), 10th January 2011, Delhi, India.
  44. Katsuhiko Sano and Minghui Ma, `Goldblatt-Thomason-style Theorems for Graded Modal Language', Advances in Modal Logic 2010, 26th August, 2010, Moscow, Russia.
  45. Katsuhiko Sano, `Axiomatizing Hybrid Products of Monotonic Neighborhood Frames', International Workshop on Hybrid Logic and Applications (HyLo 2010), Saturday July 10, 2010, Edinburgh, Scotland, UK.
  46. Katsuhiko Sano, `Axiomatizing Hybrid Products of Topologies', 3rd World Congress and School on Universal Logic, Lisbon, Portugal, 24th April, 2010.
  47. Katsuhiko Sano, `How to reason multi-dimensionally in hybrid logics?', PhD's in Logic II, Tilburg University, Tilburg, Netherlands, 19th February, 2010.
  48. Katsuhiko Sano, `Sound and Complete Tree-Sequent Calculus for Inquisitive Logic', 16th Workshop on Logic, Language, Information and Computation (Wollic 2009), National Institute of Informatics, Tokyo, Japan, June 23, 2009.
  49. 佐野勝彦「ハイブリッド論理でクリプキ意味論をどう越えるか」(`How to Jump Away from Kripke Semantics in Hybrid Logics'),ワークショップ「様相論理の『意味論』再考--クリプキ意味論を超えて--」日本科学哲学会, 第41回大会, 福岡大学, 2008年10月19日(日).(招待)
  50. Katsuhiko Sano, `David Lewis meets Arthur Prior again', Amsterdam Colloquium 2007, Amsterdam, Netherland, 19 December, 2007.
  51. Katsuhiko Sano, `Topological Pure Completeness for Hybrid Logics without the Global Modality', 13th International Congress of Logic Methodology and Philosophy of Science, Tsinghua University, Beijing, China, August 14, 2007.
  52. Katsuhiko Sano, `A Hybridization of Irreflexive Modal Logics', International Workshop on Hybrid Logic 2006, Seattle, USA, August 11, 2006.
  53. Katsuhiko Sano, `Bimodal Logics with Irreflexive Modality -- their Completeness and Finite Frame Property' (鹿島亮と共同), 1st World Congress and School on Universal Logic, Montreux, Switzerland, April 1, 2005.
  54. 佐野勝彦「正規様相の二様相への分割」, 日本科学哲学会, 第37回大会, 京都大学, 2004年10月2日(土).
  55. 佐野勝彦「非反射的様相をもつ二様相論理」, 中山康雄(大阪大学)と共同, 2004年度 科学基礎論学会総会および講演会, 2004年6月20日(日), 聖心女子大学.
  56. 佐野勝彦「時間様相の非反射性について」, 日本科学哲学会, 第36回大会, 千葉工業大学, 2003年11月15日(土).

その他の研究発表

  1. 佐野勝彦, `Analytic Sequent Calculus for Bi-intuitionistic Stable Tense Logic', 第52回MLG数理論理学研究集会, 静岡大学, 2017年12月2日.
  2. Katsuhiko Sano, `Product of Hybrid Logics', Leeds Logic Seminar, University of Leeds, UK, 2nd March 2016.
  3. 佐野勝彦, `Characterizing Frame Definability in Team Semantics via the Universal Modality', 第50回MLG数理論理学研究集会, 京の民宿 大原の里(京都府)2016年1月8日.
  4. Katsuhiko Sano, `Cut-Elimination Theorem for Expansions of Belnap-Dunn's Four Valued Logic via Functional Weak-Completeness,' Kyoto Nonclassical Logic Workshop, Kyoto, 20th November 2015.
  5. Katsuhiko Sano, `Public Announcements over Neighborhood Modelling of Knowledge and Belief', LORIA-JAIST joint workshop, Nancy, France, 11th September 2015.
  6. Katsuhiko Sano, `Characterizing Frame Definability in Team Semantics via The Universal Modality', Dagstuhl Seminar 15261, Logics for Dependence and Independence, Schloss Dagstuhl, Germany, 25th September 2015.
  7. Katsuhiko Sano, `Revising A Labelled Sequent Calculus for Public Announcement Logic', Weekly Seminar at Indian Statistical Institute Chennai Center, 13th January 2015, Chennai, India (by invitation of Sujata Ghosh).
  8. Katsuhiko Sano and Yurie Hara, `Conditional Independence and Biscuit Conditional Questions in Dynamic Semantics', 意味論研究会, 慶應義塾大学 三田キャンパス, 2014年6月26日.
  9. Katsuhiko Sano, `Axiomatizing Epistemic Logic of Friendship via Tree-sequent Calculus ', Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions, Kanazawa, Japan, 22nd February 2014.
  10. Katsuhiko Sano, `Impossibility Theorem on Radical Inquisitive Semantics', Social responsibilities of logicians and philosophers, Miyagi Zao Royal Hotel, Japan, 20th December 2013. (Invited)
  11. Katsuhiko Sano, `Axiomatizing Facebook Logic Via Tree Sequent Calculus', The 48th MLG meeting at Kaga, Ishikawa, Japan, 6th December 2013.
  12. Katsuhiko Sano, `Reviving Arthur Prior's Idea via C. C. Chang's Formalism', A Frontier of Philosophy of Time, Kyoto, Japan, 30th November 2013. (Invited)
  13. Katsuhiko Sano, `Alternative Semantics for Visser's Basic Propositional Logic', Workshop on Relevant Logics, Tokyo Institute of Technology, Tokyo, Japan, 10th September 2013.
  14. Katsuhiko Sano, `Alternative Semantics for Visser's Basic Propositional Logic', the 20th Cape lecture: A Frontier of Non-Classical Logic, Kyoto University, Kyoto, Japan, 19th July 2013.
  15. Katsuhiko Sano, `Alternative Semantics for Visser's Basic Propositional Logic', Logic@JAIST, Hotel Arrowle, Ishikawa, 22nd July 2013.
  16. Katsuhiko Sano, `Dynamic Epistemic Logic for Channel-Based Agent Communication', Chongqing Workshop on Logic, Language and Information, Southwest University, China, 22nd June 2013.
  17. Katsuhiko Sano, `Impossibility Theorem for Radical Inquisitive Semantics', Lecture given at Southwest University, 20th June 2013.
  18. Katsuhiko Sano, `Dynamic Epistemic Logic for Channel-Based Agent Communication', 認識論理とゲーム理論研究会,筑波大学,8th March 2013.
  19. Katsuhiko Sano, `What is the corresponding first-order logic to coalgebraic modal logic?', CAPE Truth theory and Logic Workshop, 13th February, 2013, Kyoto, Japan.
  20. Katsuhiko Sano, `Impossibility Theorem on Radical Inquisitive Semantics', Taiwan Philosophical Logic Colloquium, 7th December 2012, Taiwan. (Invited)
  21. Katsuhiko Sano, `Actuality in Coalgebraic Modal Logic', the 47th MLG meeting at Echigo-Yuzawa, Echigo-Yuzawa, Japan, 17th November 2012.
  22. Katsuhiko Sano, `Actuality in Coalgebraic Modal Logic', Dagstuhl Seminar: Coalgebraic Logics, 10th October 2012, Wadern, Germany.
  23. Katsuhiko Sano, `Sequent calculus for a hierarchy of first-order inquisitive logics', Russia-Japan Workshop on First-order Intermediate Logics, 4th October 2012, Hakusan, Japan.
  24. Katsuhiko Sano, `An `Impossibility' Theorem in Radical Inquisitive Semantics', Relating Particles to Evidence and Inference, 14th July 2012, Goettingen, Germany. (by invitation of Magdalena Kaufmann)
  25. Katsuhiko Sano, `An `Impossibility' Theorem in Radical Inquisitive Semantics', The second「論数哲」(PhilLogMath) workshop, 14th March, 2012, Tokyo, Japan.
  26. Katsuhiko Sano, `Non-classical Logic and Formal Semantics' (with Satoshi Tojo), JAIST Spring School 2012 - Formal Reasoning: Theory and Application -, 7th February 2012, Kanazawa, Japan.
  27. Katsuhiko Sano, `Product of Hybrid Logics', Asian workshop on Philosophical Logic 2012, 17th February 2012, Ishikawa, Japan.
  28. 佐野勝彦「要件効果構造のための拡張直観主義論理」, 法情報学の今後の展開を考える会, ホテルアローレ, 石川,日本,平成24年2月27日.
  29. Katsuhiko Sano, `Product of Hybrid Logics', 15th December, South West University, China. (by invitation of Minghui Ma)
  30. Katsuhiko Sano, `An Introduction to Hybrid Logic for Kripke and Topological Semantics', 14th December, South West University, China. (by invitation of Minghui Ma)
  31. Katsuhiko Sano, `Hybrid Product of Modalized Belnap-Dunn Logics', the 46th MLG meeting at Echigo-Yuzawa, Echigo-Yuzawa, Japan, 24th October 2011.
  32. 佐野勝彦 「余代数様相論理入門」,2011年度首都大学東京・哲学論理学講演会,首都大学東京 南大沢キャンパス 6号館101教室,2011年9月27日.(招待)
  33. Katsuhiko Sano, `Generalized Product of Coalgebraic Hybrid Logics', ACAN: Algebraic and Coalgebraic Approaches to Non-Classical Logics, Kyoto, Japan, 17th May, 2011 (Invited).
  34. Katsuhiko Sano, `Generalized Product of Coalgebraic Hybrid Logics', Domain Theory, Coalgebras and Dualities: Leicester-Birmingham collaboration, University of Leicester, Leicester, UK, 17th February 2011.
  35. Katsuhiko Sano, `Product of Hybrid Logics', LogIC Seminar, Department of Computing, Imperial College London, UK, 11th November, 2010.
  36. Katsuhiko Sano, `Product of Hybrid Logics', Computer Science Internal Seminars, University of Leicester, Leicester, UK, 16th July, 2010.
  37. Katsuhiko Sano and Minghui Ma, `Goldblatt-Thomason-style Theorems for Graded Modal Language', Domain Theory, Coalgebras and Dualities: Leicester-Birmingham collaboration, University of Leicester, Leicester, UK, 16th July, 2010.
  38. Katsuhiko Sano, `David Lewis Meets Arthur Prior Again', The 7th Workshop on Inferential Mechanisms and their Linguistic Manifestation, Goettingen, Deutschland, 5th June, 2010.
  39. Katsuhiko Sano, `David Lewis Dynamically Meets Arthur Prior Again', Logic and Interactive RAtionality, ILLC, University of Amsterdam, Amsterdam, Netherlands, 2th June, 2010.
  40. Katsuhiko Sano, `Hybrid Completeness for Neighborhood Semantics', A|C seminar, ILLC, University of Amsterdam, Amsterdam, Netherlands, 11th November, 2009.
  41. Katsuhiko Sano, `David Lewis's Logic for Counterfactual Reasoning', 神戸大学・大阪大学ジョイントセミナー, 神戸大学,2009年7月25日(土).
  42. Katsuhiko Sano, `How to Jump Away from Kripke Semantics in Hybrid Logics', Sendai Logic and Philosophy Seminar, 東北大学,2009年3月8日(日).
  43. Katsuhiko Sano, `Taking Products in Hybrid Logic', 2008年度 第42回 MLG 数理論理学研究集会, 九州産業大学,福岡,2008年11月8日(土).
  44. Katsuhiko Sano, `How to Reason Multi-Dimensionally in Hybrid Logic?', Logic and Economics: Players with Limited Cognitive and Inferential Abilities and Mental-Behavioral Consequences,筑波大学 社会工学類,2008年8月26日(火).
  45. Katsuhiko Sano, `How to Think Multi-Dimensionally in Hybrid Logic?', A Workshop for Non-Classical Logics, 京都大学文学研究科,2008年6月8日(日).
  46. Katsuhiko Sano, `David Lewis meets Arthur Prior again', Logic Seminars organized by TALARIS at INRIA Lorraine, INRIA Lorraine, France, 12 December 2007.
  47. Katsuhiko Sano, `Pure Completeness in Hybrid Logic', 2007年度 数学基礎論若手の会,静岡県立焼津青少年の家,2007年10月26日(金).
  48. Katsuhiko Sano, `Hybrid Formalism for Topological Space: David Lewis meets Arthur Prior Again', ANU-Sydney-Kyoto Probability Workshop, Sydney, 30 June 2007.
  49. Katsuhiko Sano, `Extended Modal Logic for Topological Reasoning: David Lewis meets Arthur Prior Again', Logic Seminars organized by The Logic Group at the University of Melbourne, University of Melbourne, Australia, 27 June 2007.
  50. Katsuhiko Sano, `David Lewis Meets Arthur Prior Again', 「帰納的ゲーム理論と認識論理」研究会,筑波大学大学院システム情報工学研究科,2007年5月25, 26日(金・土).
  51. Katsuhiko Sano, `Topological (Pure) Completeness for Hybrid Logics without the Global Modality', 2006年度 第40回 MLG 数理論理学研究集会, 湯布院, 2006年12月21日(木).
  52. Katsuhiko Sano, `Goldblatt-Thomason-style Characterization for Hybrid Definability', RIMS 研究集会 (モデル理論における独立概念と次元), 京都大学数理解析研究所, 2006年11月30日(木).
  53. Katsuhiko Sano, `A Hybridization of Irreflexive Modal Logics', 第23回 「記号論理学と情報科学」(SLACS 2006), 東京大学, 2006年9月11日(月).
  54. Katsuhiko Sano and Kentaro Sato, `A Generalization of Semantical Characterizations in Modal Model Theory', 2006年度 モデル理論サマースクール, 東海大学代々木キャンパス, 2006年8月8日(火).
  55. Katsuhiko Sano, `Predicate Bimodal Logics with Irreflexive Modality', 2005年度 第39回 MLG 数理論理学研究集会, 蒲郡荘, 2005年12月5日(月).
  56. Katsuhiko Sano and Kentaro Sato, `Characterization of the Elementary Modally Definable in Extended Modal Logics', the 29th Workshop of PaSTA : Modern Plural Aspects of Modal Logics: from a semantical point of view, 京都大学, 2005年11月15日(土).
  57. 佐野勝彦・鈴木徹, `Predicate Extensions of Bimodal Logics with Irreflexive Modality', 第22回 「記号論理学と情報科学」(SLACS 2005), 東京工業大学, 2005年9月2日(金).
  58. 佐野勝彦・佐藤憲太郎,`Semantical Characterizations of Bimodal Logics with Irreflexive Modality', 数理論理学合同セミナー, 東京工業大学, 2005年2月17日(木).
  59. 佐野勝彦 `Transfer Results of Bimodal Logics with Irreflexive Modality', 計算機言語談話会 (CLC), 産業技術総合研究所 システム検証研究センター 千里オフィス, 2005年1月27日(木).
  60. 佐野勝彦 `Bimodal Logics with Irreflexive Modality', 2004年度 第38回 MLG 数理論理学研究集会, 蒲郡荘, 2004年10月26日(火).
  61. 佐野勝彦「正規様相の二様相への分割」, 京都科学哲学コロキアム, 京大会館, 2004年9月19日(日).
  62. 佐野勝彦`Paraconsistent Logic -- An introduction: how to prevent explosion?', 「偶然性と確実性に関する哲学史的・理論的研究」研究会, 南山大学, 2004年7月10日(月).
  63. 佐野勝彦「非反射的様相をもつ二様相論理」, 中山康雄(大阪大学)と共同, 数理論理学合同セミナー, 東京工業大学, 2004年5月27日(木).
  64. 佐野勝彦「非反射性を表現できる命題時相論理」, 計算機言語談話会 (CLC), 産業技術総合研究所 関西センター尼崎サイト, 2003年12月26日(金).
  65. 佐野勝彦「時間様相の非反射性について」, 京都科学哲学コロキアム, 京大会館, 2003年10月26日(日).

プログラム委員やオーガナイザーとなった会議やワークショップ

Review (査読)

学位論文

  1. Semantical Investigations into Extended Modal Languages (拡張様相言語の意味論的探求),京都大学文学研究科,2010年1月25日.

賞罰

所属学会・研究会