An Essay on Unification and Inference Rules for Modal Logics

  title={An Essay on Unification and Inference Rules for Modal Logics},
  author={Vladimir V. Rybakov and Mehmet Terziler and Cevriye Gencer},
We study unification of formulas in modal logics and consider logics which are equivalent w.r.t. unification of formulas. A criterium is given for equivalence w.r.t. unification via existence or persistent formulas. A complete syntactic description of all formulas which are non-unifiable in wide classes of modal logics is given. Passive inference rules are considered, it is shown that in any modal logic over S4 there is a finite basis for passive rules. 

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-9 of 9 references

Admissibility of Logical Inference Rules -Book

V. V. Rybakov
Studies in Logic and Foundations of Mathematics., Vol. 136, Elsevier Publ., Amsterdam, New-York • 1997
View 5 Excerpts
Highly Influenced

Unification in Intuitionistic Logic

J. Symb. Log. • 1999
View 1 Excerpt

Modal Logic

Oxford logic guides • 1997
View 1 Excerpt

Unification and projectivity in propositional Logic

Ghilardi Silvio
Preprint No.58/1996, • 1996
View 2 Excerpts

A Proof Theory for General Unification

W. Snyder
J. of Symb. Comput., Vol. 7 • 1989
View 2 Excerpts

Admissible Rules for Logics Containing S4.3

V. V. Rybakov
Sibirski Math. Journal, • 1984
View 2 Excerpts

Logics Containing K4. Part I

J. Symb. Log. • 1974
View 1 Excerpt

Similar Papers

Loading similar papers…