Projective unification through duality - Logique, Interaction, Langue et Calcul Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Projective unification through duality

Résumé

Unification problems can be formulated and investigated in an algebraic setting, by identifying substitutions to modal algebra homomorphisms. This opens the door to applications of the notorious duality between modal algebras and descriptive frames. Through substantial use of this correspondence, we give a necessary and sufficient condition for modal formulas to be projective. Applying this result to a number of different logics, we then obtain concise and lightweight proofs of their projective-or non-projective-character. In particular, we prove that the projective extensions of K5 are exactly the extensions of K45. This resolves the open question of whether K5 is projective.
Fichier principal
Vignette du fichier
aiml22.pdf (435.64 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03762785 , version 1 (29-08-2022)

Identifiants

  • HAL Id : hal-03762785 , version 1

Citer

Philippe Balbiani, Quentin Gougeon. Projective unification through duality. Advances in Modal Logic (AiML 2022), Aug 2022, Rennes, France. ⟨hal-03762785⟩
92 Consultations
35 Téléchargements

Partager

Gmail Facebook X LinkedIn More