Undecidability of admissibility in the product of two Alt logics - Logique, Interaction, Langue et Calcul Accéder directement au contenu
Article Dans Une Revue Logic Journal of the IGPL Année : 2023

Undecidability of admissibility in the product of two Alt logics

Résumé

The product of two Alt logics possesses the polynomial product finite model property and its membership problem is coNP-complete. Using a reduction from an undecidable domino-tiling problem, we prove that its admissibility problem is undecidable.
Fichier principal
Vignette du fichier
Admissibility_in_Alt1_Alt1_10.pdf (249.26 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04307720 , version 1 (26-11-2023)

Identifiants

Citer

Philippe Balbiani, Cigdem Gencer. Undecidability of admissibility in the product of two Alt logics. Logic Journal of the IGPL, 2023, ⟨10.1093/jigpal/jzad021⟩. ⟨hal-04307720⟩
69 Consultations
2 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More