About the unification type of fusions of modal logics - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications Année : 2021

About the unification type of fusions of modal logics

Résumé

In a modal logic L, a unifier of a formula ϕ is a substitution σ such that σ(ϕ) is in L. When unifiable formulas have no minimal complete sets of unifiers, they are nullary. Otherwise, they are either infinitary, or finitary, or unitary depending on the cardinality of their minimal complete sets of unifiers. In this paper, we prove that if the fusion L 1 ⊗ L 2 is unitary then L 1 and L 2 are unitary and if the fusion L 1 ⊗ L 2 is finitary then L 1 and L 2 are either unitary, or finitary. We also prove that the fusion of arbitrary consistent extensions of S5 is nullary when these extensions are different from Triv.
Fichier principal
Vignette du fichier
About_the_unification_type_of_fusions_of_modal_logics_19.pdf (524.62 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02936464 , version 1 (11-09-2020)

Identifiants

  • HAL Id : hal-02936464 , version 1

Citer

Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv. About the unification type of fusions of modal logics. Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, In press. ⟨hal-02936464⟩
108 Consultations
77 Téléchargements

Partager

Gmail Facebook X LinkedIn More