This is the top of the page.
Displaying present location in the site.
  1. Home
  2. About NEC
  3. Research & Development
  4. NEC R&D Members
  5. Shota Motoura
Main content starts here.

NEC R&D Members

Shota Motoura

Automated Reasoning Research Group
Security Research Laboratories
NEC Central Research Labs.
NEC Corporation
Ph.D. (Science)

Address:
1753, Shimonumabe, Nakahara-ku, Kawasaki-shi,
Kanagawa, 211-8666, Japan

Research Area

  • Mathematical Logic
  • Dialogue System

Papers

PhD thesis

  • A General Framework for Dynamic Epistemic Logic; supervisor Kazushige Terui

Refereed journals

  • Shota Motoura, "A General Framework for Dynamic Epistemic Logic: Towards Canonical Correspondences", to appear in Journal of Applied Non-Classical Logics

Conferences

Refereed Conferences

  • Shota Motoura, "A General Framework for Modal Correspondence in Dynamic Epistemic Logic", In Proceedings of 5th International Workshop on Logic, Rationality, and Interaction (LORI 2015), LNCS 9394, pp. 282-294, Taipei, Taiwan, 28-30 October 2015

Non-refereed workshops

  • Shota Motoura, "A General Framework for Dynamic Epistemic Logic" [Invited], Prague Workshop on Nonclassical Logics, Prague, Czech Republic, 9 December 2016
  • Shota Motoura, "A General Framework for Modal Correspondence in Dynamic Epistemic Logic" [Invited], Epistemic logic + Modal Logic Workshop, Tokyo, Japan, 4-5 December 2015
  • Shota Motoura, "On the semantic meaning of reduction axioms in public announcement logic", SLAGICS 2013: ALGI and SLACS Join Forces, Kyoto, Japan, 24-26 September 2013
  • Shota Motoura, "On the semantic meaning of reduction axioms in public announcement logic" [Invited], Workshop on Epistemic Logic and Game Theory, Tsukuba, Japan, 8-9 March 2013
  • Shota Motoura, "On the semantic meaning of reduction axioms in public announcement logic", 47th Mathematical Logic Group Meeting, Niigata, Japan, 16-18 November 2012

Biography

  • 2011Keio University, BSc Mathematics
  • 2013Kyoto University, MSc Mathematics
  • 2017Kyoto University, PhD Science

Top of this page