Filter your results
- 6
- 3
- 2
- 1
- 6
- 1
- 2
- 2
- 1
- 6
- 6
- 2
- 1
- 5
- 5
- 4
- 3
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
About the type of modal logics for the unification problemLogic in Computer Science [cs.LO]. Université Toulouse III - Paul Sabatier, 2020. English. ⟨NNT : ⟩
Theses
tel-03341556v1
|
||
|
About the unification type of K + [][]⊥34th International Workshop on Unification (UNIF 2020), Jun 2020, Paris, France. pp.481-497, ⟨10.1007/s10472-021-09768-w⟩
Conference papers
hal-02936473v1
|
||
|
About the unification type of fusions of modal logicsJournal of Applied Logics - IfCoLoG Journal of Logics and their Applications, In press
Journal articles
hal-02936464v1
|
||
|
A gentle introduction to unification in modal logics13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
Conference papers
hal-02301934v1
|
||
|
About the unification type of K + Box Box falseAnnals of Mathematics and Artificial Intelligence, 2021, 90, pp.481-497
Journal articles
hal-03762105v1
|
||
|
Remarks about the unification types of some locally tabular normal modal logicsLogic Journal of the IGPL, 2022, ⟨10.1093/jigpal/jzab033⟩
Journal articles
hal-03762700v1
|