Skip to main content
    • Aa
    • Aa

Filtering unification and most general unifiers in modal logic

  • Silvio Ghilardi (a1) and Lorenzo Sacchetti (a2)

We characterize (both from a syntactic and an algebraic point of view) the normal K4-logics for which unification is filtering. We also give a sufficient semantic criterion for existence of most general unifiers, covering natural extensions of K4.2+ (i.e., of the modal system obtained from K4 by adding to it, as a further axiom schemata, the modal translation of the weak excluded middle principle).

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

[1] F. Baader , Unification in commutative theories, Journal of Symbolic Computation, vol. 8 (1989), no. 5, pp. 479497.

[2] F. Baader and P. Narendran , Unification of concept terms in description logics, Journal of Symbolic Computation, vol. 31 (2001), no. 3, pp. 277305.

[3] F. Baader and W. Nutt , Combining problems for commutative/monoidal theories: How algebra can help in equational reasoning, Journal of Applicable Algebra in Engineering, Communication and Computing, vol. 7 (1996), no. 4, pp. 309337.

[6] F. Borceux , Handbook of categorical algebra, 3 volumes, Cambridge University Press, 1994.

[8] B. A. Davey and H. A. Priestley , Introduction to lattices and order, Cambridge University Press, Cambridge, 1990.

[11] S. Ghilardi , Unification through projectivity, Journal of Logic and Computation, vol. 7 (1997), no. 6, pp. 733752.

[13] S. Ghilardi , Best solving modal equations, Annals of Pure and Applied Logic, vol. 102 (2000), pp. 183198.

[15] S. Ghilardi , Sheaves, Games and Modal Completions, Trends in Logic Series, Kluwer, 2002.

[16] S. Ghilardi , Unification, finite duality and projectivity in varieties of Hey ting algebras, Annals of Pure and Applied Logic, vol. 127 (2004), pp. 99115.

[19] R. Iemhoff , Towards a proof system for admissibility, Computer Science Logic 03 ( M. Baaz and A. Makowski , editors), Lecture Notes in Computer Science 2803, 2003, pp. 255270.

[20] K. Jänich , Topology, Undergraduate Texts in Mathematics, Springer-Verlag, 1984.

[22] L. L. Maksimova , A classification of modal logics, Algebra i Logika, vol. 18 (1979), no. 3, pp. 328340.

[23] W. McCune , Solution of the Robbins problem, Journal of Automated Reasoning, vol. 19 (1997), no. 3, pp. 263276.

[25] W. Nutt , Unification in monoidal theories, Proceedings of the 10th international conference on automated deduction ( M.E. Stickel , editor), Lecture Notes in Computer Science, vol. 449, Springer, Berlin, 1990, pp. 618632.

[26] H. Rasiowa , An algebraic approach to non-classical logics, North-Holland Publishing Co., Amsterdam, 1974.

[27] G. Sambin and V. Vaccaro , Topology and duality in modal logic, Annals of Pure and Applied Logic, vol. 37 (1988), pp. 249296.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *



Full text views

Total number of HTML views: 0
Total number of PDF views: 1 *
Loading metrics...

Abstract views

Total abstract views: 69 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 21st September 2017. This data will be updated every 24 hours.