Extending unification in EL towards general TBoxes, Principles of Knowledge Representation and Reasoning, pp.568-572, 2012. ,
Unification in modal and description logics, Logic Journal of the IGPL, vol.19, pp.705-730, 2011. ,
Unification in a description logic with transitive closure of roles, Logic for Programming and Automated Reasoning, pp.217-232, 2001. ,
Unification in the description logic EL, Rewriting Techniques and Applications, pp.350-364, 2009. ,
SAT encoding of unification in EL, Logic for Programming, pp.97-111, 2010. ,
Unification of concept terms in description logics, Journal of Symbolic Computation, vol.31, pp.277-305, 2001. ,
Unification in linear temporal logic LT L, Annals of Pure and Applied Logic, vol.162, pp.991-1000, 2011. ,
A tableau method for checking rule admissibility in S4, Electronic Notes in Theoretical Computer Science, vol.262, pp.17-32, 2010. ,
Unification in epistemic logics, Journal of Applied Non-Classical Logics ,
URL : https://hal.archives-ouvertes.fr/hal-02365663
Unifiability and unification types in the normal modal logic Alt 1, Advances in Modal Logic, pp.117-134, 2016. ,
Admissible rules in the implication-negation fragment of intuitionistic logic, Annals of Pure and Applied Logic, vol.162, pp.162-171, 2010. ,
Unitary unification of S5 modal logics and its extensions, Bulletin of the Section of Logic, vol.32, pp.19-26, 2003. ,
Unification Types in Logic, Wydawnicto Uniwersytetu Slaskiego, 2007. ,
Remarks on projective unifiers, Bulletin of the Section of Logic, vol.40, pp.37-46, 2011. ,
One hundred and two problems in mathematical logic, Journal of Symbolic Logic, vol.40, pp.113-129, 1975. ,
Unifiability in extensions of K4, Logic Journal of the IGPL, vol.17, pp.159-172, 2009. ,
Unification in intuitionistic logic, Journal of Symbolic Logic, vol.64, pp.859-880, 1999. ,
Best solving modal equations, Annals of Pure and Applied Logic, vol.102, pp.183-198, 2000. ,
Filtering unification and most general unifiers in modal logic, Journal of Symbolic Logic, vol.69, pp.879-906, 2004. ,
On the admissible rules of intuitionistic propositional logic, Journal of Symbolic Computation, vol.66, pp.281-294, 2001. ,
Complexity of admissible rules, Archive for Mathematical Logic, vol.46, pp.73-92, 2007. ,
Blending margins: the modal logic K has nullary unification type, Journal of Logic and Computation, vol.25, pp.1231-1240, 2015. ,
A criterion for admissibility of rules in the model system S4 and the intuitionistic logic, Algebra and Logic, vol.23, pp.369-384, 1984. ,
Bases of admissible rules of the logics S4 and Int, Algebra and Logic, vol.24, pp.55-68, 1985. ,
Admissibility of Logical Inference Rules, 1997. ,
Construction of an explicit basis for rules admissible in modal system S4, Mathematical Logic Quarterly, vol.47, pp.441-446, 2001. ,
Unification in common knowledge logics, Bulletin of the Section of Logic, vol.31, pp.207-215, 2002. ,
Logical consecutions in discrete linear temporal logic, Journal of Symbolic Logic, vol.70, pp.1137-1149, 2005. ,
Multi-modal and temporal logics with universal formula -reduction of admissibility to validity and unification, Journal of Logic and Computation, 2008. ,