A gentle introduction to unification in modal logics - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

A gentle introduction to unification in modal logics

Résumé

Unification in propositional logics is an active research area. In this paper, we introduce the results we have obtained within the context of modal logics and epistemic logics and we present some of the open problems whose solution will have an important impact on the future of the area.
L'unification dans les logiques propositionnelles est un domaine de recherche actif. Dans cet article, nous présentons les résultats que nous avons obtenus dans le cadre des logiques modales et des logiqueś epistémiques et nous introduisons quelques uns des problèmes ouverts dont la résolution aura un impact important sur l'avenir du domaine.
Fichier principal
Vignette du fichier
paper_2.pdf (404.35 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02301934 , version 1 (30-09-2019)

Identifiants

  • HAL Id : hal-02301934 , version 1

Citer

Philippe Balbiani, Cigdem Gencer, Mojtaba Mojtahedi, Maryam Rostamigiv, Tinko Tinchev. A gentle introduction to unification in modal logics. 13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France. ⟨hal-02301934⟩
59 Consultations
204 Téléchargements

Partager

Gmail Facebook X LinkedIn More