Author

Yuta Sato

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Review Aug 2026

Intuitionistic and Constructive Modal Logics for Classical Modal Logicians

This paper gives a survey of propositional modal logic in an intuitionistic setting. Mainly intended for readers already familiar with classical modal logic, we discuss why there are two prominent families of such logics, intuitionistic modal logics (IMLs) and constructive modal logics (CMLs), what motivates their stud...

Yuta Sato · 0 citations

Review Aug 2026

Intuitionistic and Constructive Modal Logics for Classical Modal Logicians

A survey of propositional modal logic in an intuitionistic setting, including a new logic $\textbf{KI}$ for which it is proved completeness, and a deeper look at the logics lying between the CML and IML traditions.

Yuta Sato · 0 citations