Downloads provided by UsageCounts
In this talk, we will give a survey of the results on unification in modal logic and we will present some of the open problems whose solution will have a great impact on the future of the area. After an introductory part about unification in equational theories, we will consider the case of Boolean unification, we will study the unification problem in Intuitionistic Propositional Logic and transitive normal modal logics like K4, we will introduce the notions of projective and transparent unifiers and we will define filtering unification. Then, we will present the latest results obtained within the context of unification in description logics and in multimodal, tense and epistemic logics.
Logique en informatique, Computability of unification, Unification type, Modal logics, Unification problem, Unification with constants, Elementary unification
Logique en informatique, Computability of unification, Unification type, Modal logics, Unification problem, Unification with constants, Elementary unification
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 2 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
| views | 7 | |
| downloads | 36 |

Views provided by UsageCounts
Downloads provided by UsageCounts