Zobrazeno 1 - 1
of 1
pro vyhledávání: '"fusion de la logique modale"'
Autor:
Rostamigiv, Maryam
Publikováno v:
Logic in Computer Science [cs.LO]. Université Toulouse III-Paul Sabatier, 2020. English
In this thesis, we shall investigate the unification problem in ordinary modal logics, fusions of two modal logics, and multi-modal epistemic logics. With respect to a propositional logic L, given a formula A, we have to find substitutions s such tha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e73603412d73ae1aa26ac20d5c54a93b
https://theses.hal.science/tel-03341556
https://theses.hal.science/tel-03341556
