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. ,
A tableau method for checking rule admissibility in S4, Electronic Notes in Theoretical Computer Science, vol.262, pp.17-32, 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, 2007. ,
Reasoning About Knowledge, 1995. ,
Unifiability in extensions of K4, Logic Journal of the IGPL, vol.17, pp.159-172, 2009. ,
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, The Journal of Symbolic Logic, vol.69, pp.879-906, 2004. ,
Using the universal modality: Gains and questions, Journal of Logic and Computation, vol.2, pp.5-30, 1992. ,
Blending margins: The modal logic K has nullary unification type, Journal of Logic and Computation, vol.25, pp.1231-1240, 2015. ,
Admissibility of Logical Inference Rules, 1997. ,
Unification in common knowledge logics, vol.31, pp.207-215, 2002. ,
Agents' logics with common knowledge and uncertainty: Unification problem, algorithm for construction solutions, Knowledge-based and Intelligent Information and Engineering Systems, pp.171-179, 2011. ,
An essay on unification and inference rules for modal logics, Bulletin of the Section of Logic, vol.28, pp.145-157, 1999. ,
Undecidability of the unification and admissibility problems for modal and description logics, ACM Transactions on Computational Logic, vol.9, p.20, 2008. ,