Craig interpolation of epistemic logics with distributed knowledge

DOI10.1007/978-3-030-39951-1_13zbMath1496.03073MaRDI QIDQ2206783

Katsuhiko Sano, Ryo Murai

Publication date: 26 October 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-39951-1_13

zbMATH Keywords

sequent calculus; epistemic logic; distributed knowledge; Craig interpolation theorem

Mathematics Subject Classification ID

03B42: Logics of knowledge and belief (including belief change)

03C40: Interpolation, preservation, definability