Some constructive variants of S4 with the finite model property - Intelligence Artificielle Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Some constructive variants of S4 with the finite model property

Résumé

The logics CS4 and IS4 are intuitionistic variants of the modal logic S4. Whether the finite model property holds for each of these logics has been a long-standing open problem. In this paper we introduce two logics closely related to IS4: GS4, obtained by adding the Gödel-Dummett axiom to IS4, and S4I, obtained by reversing the roles of the modal and intuitionistic relations. We then prove that CS4, GS4, and S4I all enjoy the finite model property.
Fichier principal
Vignette du fichier
2104.15053.pdf (306.26 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03248058 , version 1 (03-06-2021)

Identifiants

Citer

Philippe Balbiani, Martín Diéguez, David Fernández-Duque. Some constructive variants of S4 with the finite model property. 36th Annual Symposium on Logic in Computer Science (LICS 2021), Jun 2021, Rome (on line), Italy. ⟨10.1109/LICS52264.2021.9470643⟩. ⟨hal-03248058⟩
94 Consultations
117 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More