Craig interpolation of epistemic logics with distributed knowledge
From MaRDI portal
Publication:2206783
DOI10.1007/978-3-030-39951-1_13zbMath1496.03073OpenAlexW3004383009MaRDI QIDQ2206783
Publication date: 26 October 2020
Full work available at URL: https://doi.org/10.1007/978-3-030-39951-1_13
Logics of knowledge and belief (including belief change) (03B42) Interpolation, preservation, definability (03C40)
Related Items