Title of article
Best solving modal equations Original Research Article
Author/Authors
Silvio Ghilardi، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
16
From page
183
To page
198
Abstract
We show that some common varieties of modal K4-algebras have finitary unification type, thus providing effective best solutions for equations in free algebras. Applications to admissible inference rules are immediate.
Keywords
Modal logic , Admissible inference rules , E-unification
Journal title
Annals of Pure and Applied Logic
Serial Year
2000
Journal title
Annals of Pure and Applied Logic
Record number
889710
Link To Document