Shoshin Nomura

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 4

Top Topics

Linear Time Temporal Logic

Sequent Calculus

Top Venues

ICAART (Revised Selected Papers)

J. Log. Comput.

Publications

Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano
A cut-free labelled sequent calculus for dynamic epistemic logic. J. Log. Comput. 30 (1) (2020)
Shoshin Nomura, Norihiro Arai, Satoshi Tojo
The Dynamics of Narrow-minded Belief. ICAART (2) (2019)
Shoshin Nomura, Norihiro Arai, Satoshi Tojo
Dynamics of Narrow-Minded Belief and Its Cut-Free Sequent Calculus. ICAART (Revised Selected Papers) (2019)
Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano
A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic. LFCS (2016)
Shoshin Nomura, Katsuhiko Sano, Satoshi Tojo
A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic. LPAR (2015)