One-Variable Unification in K - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

One-Variable Unification in K

Stéphane P. Desarzens
  • Fonction : Auteur
  • PersonId : 1261955

Résumé

We give an algorithm which decides unifiability in the modal logic K of single variable formulas of modal degree one. For this we introduce a finite Kripke frame which characterises unifiability for such formulas. We also present an example suggested to the author by E. Jeřábek, showing that this approach does not directly generalise to multiple variables.
Fichier principal
Vignette du fichier
UNIF_2023_paper_3_v2.pdf (441.57 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : CC BY - Paternité

Dates et versions

hal-04128048 , version 1 (14-06-2023)
hal-04128048 , version 2 (27-06-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-04128048 , version 2

Citer

Stéphane P. Desarzens. One-Variable Unification in K. UNIF 2023 - 37th International Workshop on Unification, Veena Ravishankar; Christophe Ringeissen, Jul 2023, Rome, Italy. ⟨hal-04128048v2⟩
36 Consultations
10 Téléchargements

Partager

Gmail Facebook X LinkedIn More