Remarks about the unification type of several non-symmetric non-transitive modal logics - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Logic Journal of the IGPL Année : 2018

Remarks about the unification type of several non-symmetric non-transitive modal logics

Résumé

The problem of unification in a normal modal logic L can be defined as follows: given a formula ϕ, determine whether there exists a substitution σ such that σ (ϕ) is in L. In this paper, we prove that for several non-symmetric non-transitive modal logics, there exists unifiable formulas that possess no minimal complete set of unifiers.
Fichier principal
Vignette du fichier
balbiani_24761.pdf (611.57 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02378381 , version 1 (25-11-2019)

Identifiants

Citer

Philippe Balbiani. Remarks about the unification type of several non-symmetric non-transitive modal logics. Logic Journal of the IGPL, 2018, 27 (5), pp.639-658. ⟨10.1093/jigpal/jzy078⟩. ⟨hal-02378381⟩
51 Consultations
106 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More