Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Ghilardi, Silvio and Sacchetti, Lorenzo. 2004. “Filtering Unification and Most General Unifiers in Modal Logic.”The Journal of Symbolic Logic 69(3): 879–906.