Modal unification step by step - 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

Modal unification step by step

Résumé

We propose an approach to unification in modal logics that combines duality and step-by-step constructions of terminal frames. We apply this approach to the modal logics K, Alt1, and a logic that we call KdB. For K, we show how our methods give an effective reformulation of the unifiability problem as a non-trivial decision problem involving neighborhood frames. For Alt1, we show that the problem is PSPACE-complete. For KdB, we establish that unifiability is equivalent to a problem involving de Bruijn graphs.
Fichier principal
Vignette du fichier
UNIF_2023_paper_5.pdf (375.53 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : CC BY - Paternité

Dates et versions

hal-04128087 , version 1 (14-06-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-04128087 , version 1

Citer

Sam v. Gool, Johannes Marti. Modal unification step by step. UNIF 2023 - 37th International Workshop on Unification, Veena Ravishankar; Christophe Ringeissen, Jul 2023, Rome, Italy. ⟨hal-04128087⟩
47 Consultations
108 Téléchargements

Partager

Gmail Facebook X LinkedIn More