Shoshin Nomura

According to our database, Shoshin Nomura authored at least 4 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

A cut-free labelled sequent calculus for dynamic epistemic logic.

Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano

J. Log. Comput., 2020

2019

Dynamics of Narrow-Minded Belief and Its Cut-Free Sequent Calculus.

Shoshin Nomura, Norihiro Arai, Satoshi Tojo

Proceedings of the Agents and Artificial Intelligence - 11th International Conference, 2019

The Dynamics of Narrow-minded Belief.

Shoshin Nomura, Norihiro Arai, Satoshi Tojo

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

2015

A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic.

Shoshin Nomura, Katsuhiko Sano, Satoshi Tojo

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015