About the Unification Type of Modal Logics Between $\mathbf {KB}$ and $\mathbf {KTB}$.

Philippe Balbiani Çigdem Gencer

Published in: Stud Logica (2020)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
knowledge base
epistemic logic
classical logic
higher order
theorem proving
default logic
automated reasoning
autoepistemic logic