Unification in modal and description logics

  title={Unification in modal and description logics},
  author={Franz Baader and Silvio Ghilardi},
  journal={Logic Journal of the IGPL},
Unification was originally introduced in automated deduction and term rewriting, but has recently also found applications in other fields. In this article, we give a survey of the results on unification obtained in two closely related, yet different, application areas of unification: description logics and modal logics. 
16 Citations
71 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 16 extracted citations


Publications referenced by this paper.
Showing 1-10 of 71 references

Unification theory

  • F. Baader, W. Snyder
  • J. Robinson and A. Voronkov, editors, Handbook of…
  • 2001
Highly Influential
7 Excerpts

Admissibility of logical inference rules, volume 136 of Studies in Logic and the Foundations of Mathematics

  • V. V. Rybakov
  • North-Holland Publishing Co., Amsterdam,
  • 1997
Highly Influential
5 Excerpts

Studio e realizzazione di algoritmi per l’unificazione nelle logiche modali

  • D. Zucchelli
  • Master’s thesis in computer science, Universit…
  • 2004
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…