Unification in epistemic logics
Philippe Balbiani, Çiğdem Gencer · Journal of Applied Non-Classical Logics · 2017
Epistemic logics are essential to the design of logical systems that capture elements of reasoning about knowledge. In this paper, we study the computability of unifiability and the unification types in several epistemic logics.