Skip to main content
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 9
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Dzik, Wojciech and Wojtylak, Piotr 2015. Almost structurally complete infinitary consequence operations extending S4.3. Logic Journal of IGPL, Vol. 23, Issue. 4, p. 640.

    Jeřábek, Emil 2015. Rules with parameters in modal logic I. Annals of Pure and Applied Logic, Vol. 166, Issue. 9, p. 881.

    Rybakov, V. 2014. Projective formulas and unification in linear temporal logic LTLU. Logic Journal of IGPL, Vol. 22, Issue. 4, p. 665.

    Dzik, W. and Wojtylak, P. 2012. Projective unification in modal logic. Logic Journal of IGPL, Vol. 20, Issue. 1, p. 121.

    Baader, F. and Ghilardi, S. 2011. Unification in modal and description logics. Logic Journal of IGPL, Vol. 19, Issue. 6, p. 705.

    Babenyshev, Sergey Rybakov, Vladimir Schmidt, Renate A. and Tishkovsky, Dmitry 2010. A Tableau Method for Checking Rule Admissibility in S4. Electronic Notes in Theoretical Computer Science, Vol. 262, p. 17.

    Rybakov, Vladimir 2010. Rules admissible in transitive temporal logic <mml:math altimg="si1.gif" display="inline" overflow="scroll" xmlns:xocs="" xmlns:xs="" xmlns:xsi="" xmlns="" xmlns:ja="" xmlns:mml="" xmlns:tb="" xmlns:sb="" xmlns:ce="" xmlns:xlink="" xmlns:cals=""><mml:msub><mml:mrow><mml:mi>T</mml:mi></mml:mrow><mml:mrow><mml:mi>S</mml:mi><mml:mn>4</mml:mn></mml:mrow></mml:msub></mml:math>, sufficient condition. Theoretical Computer Science, Vol. 411, Issue. 50, p. 4323.

    Kracht, Marcus 2007. Handbook of Modal Logic.

    Rybakov, V. 2007. Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification. Journal of Logic and Computation, Vol. 18, Issue. 4, p. 509.


Filtering unification and most general unifiers in modal logic

  • Silvio Ghilardi (a1) and Lorenzo Sacchetti (a2)
  • DOI:
  • Published online: 01 March 2014

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? *