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. ,
Unification in linear temporal logic LTL, Annals of Pure and Applied Logic, vol.162, pp.991-1000, 2011. ,
KD is nullary, Journal of Applied Non-Classical Logics, vol.27, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-02365665
Unification in epistemic logics, Journal of Applied Non-Classical Logics, vol.27, pp.91-105, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-02365663
Unification in modal logic Alt 1 . Advances in Modal Logic, pp.117-134, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01650177
Elementary unification in modal logic KD45, Journal of Applied Logics-IFCoLog Journal of Logics and Their Applications, vol.5, pp.301-317, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02365660
, Modal Logic, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100503
Modal Logic, 1997. ,
Modal Logic. An Introduction, 1980. ,
Unitary unification of S5 modal logics and its extensions, vol.32, pp.19-26, 2003. ,
Unification Types in Logic. Wydawnictwo Uniwersytetu Slaskiego, 2007. ,
Bulletin of the Section of Logic, vol.40, pp.37-46, 2011. ,
Projective unification in modal logic, Logic Journal of the IGPL, vol.20, pp.121-153, 2012. ,
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, 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. ,
Some logics related to von Wright's logic of place, Notre Dame Journal of Formal Logic, vol.35, pp.88-98, 1994. ,
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, 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, vol.18, pp.509-519, 2008. ,
An essay on unification and inference rules for modal logics, Bulletin of the Section of Logic, vol.28, pp.145-157, 1999. ,