Projective unification in modal logic

@article{Dzik2012ProjectiveUI,
  title={Projective unification in modal logic},
  author={Wojciech Dzik and Piotr Wojtylak},
  journal={Logic Journal of the IGPL},
  year={2012},
  volume={20},
  pages={121-153}
}
A projective unifier for a modal formula A, over a modal logic L, is a unifier σ for A (i.e. a substitution making A a theorem of L) such that the equivalence of σ with the identity map is the consequence of A. Each projective unifier is a most general unifier for A. Let L be a normal modal logic containing S4. We show that every unifiable formula has a projective unifier in L iff L contains S4.3. The syntactic proof is effective. As a corollary, we conclude that all normal modal logics L… CONTINUE READING
BETA

Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 33 REFERENCES

Unification theory Unification in modal and description logics

  • M. de Rijke P. Blackburn, Y. Venema
  • Logic Journal of the IGPL
  • 2010

Similar Papers

Loading similar papers…