A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus - Logique, Interaction, Langue et Calcul
Communication Dans Un Congrès Année : 2024

A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus

Résumé

We introduce FIK, a natural intuitionistic modal logic specified by Kripke models satisfying the condition of forward confluence. We give a complete Hilbert-style axiomatization of this logic and propose a bi-nested calculus for it. The calculus provides a decision procedure as well as a countermodel extraction: from any failed derivation of a given formula, we obtain by the calculus a finite countermodel of it directly.

Domaines

Informatique [cs] Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
CSL_24_final_versionPROVVISORIA.pdf (822.61 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
licence
Paternité

nicola olivetti  : Connectez-vous pour contacter le contributeur

https://amu.hal.science/hal-04457356

Soumis le : mercredi 14 février 2024-12:54:59

Dernière modification le : vendredi 27 septembre 2024-16:19:21

Télécharger pour visualiser

Dates et versions

hal-04457356 , version 1 (14-02-2024)

Licence

Paternité

Identifiants

Citer

Philippe Balbiani, Han Gao, Cigdem Gencer, Nicola Olivetti. A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples, Italy. pp.1--21, ⟨10.4230/LIPIcs.CSL.2024.13⟩. ⟨hal-04457356⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 UNIV-TLN CNRS UNIV-AMU UT1-CAPITOLE LIS-LAB IRIT IRIT-LILAC IRIT-IA INCIAM TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
287 Consultations
64 Téléchargements

Altmetric

Partager

More