2 papers
cs.LO2026
Uniform Interpolation of Basic Tense Logic
Katsuhiko Sano
This paper establishes the uniform interpolation theorem for basic tense logic, which is also known as two-way modal logic or modal logic with converse. First introduced by Arthur…
cs.MA2026
Analytic Cut in Epistemic Logics with Distributed Knowledge
Ryo Murai, Sizhuo Liu, Katsuhiko Sano
Distributed knowledge is a notion of group knowledge studied in multi-agent epistemic logic. Semantically, the distributed knowledge of a group is interpreted via an accessibility…