Intuitionistic modal logics: a minimal setting

Philippe Balbiani; Cigdem Gencer

Communication Dans Un Congrès Année : 2024

Intuitionistic modal logics: a minimal setting

(1) , (1, 2)

1
2

Philippe Balbiani

Fonction : Auteur
PersonId : 741408
IdHAL : philippe-balbiani
ORCID : 0000-0002-3569-9160
IdRef : 033316910

Logique, Interaction, Langue et Calcul

Cigdem Gencer

Fonction : Auteur
PersonId : 1088588
ORCID : 0000-0002-2003-9012
IdRef : 220434069

Logique, Interaction, Langue et Calcul

Istanbul Aydin University

Mots clés

Applied Non-Classical Logics Intuitionistic Logic Modal Logics Intuitionistic Modal Logics Axiomatization and Completeness

Domaines

Informatique [cs]

Fichier principal

TACL_2024_8.pdf (261.56 Ko)

Origine	Fichiers produits par l'(les) auteur(s)

Philippe Balbiani : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04800485

Soumis le : dimanche 24 novembre 2024-12:51:44

Dernière modification le : mercredi 27 novembre 2024-09:33:55

Dates et versions

hal-04800485 , version 1 (24-11-2024)

Identifiants

HAL Id : hal-04800485 , version 1

Citer

Philippe Balbiani, Cigdem Gencer. Intuitionistic modal logics: a minimal setting. Topology, Algebra, and Categories in Logic, Jul 2024, Barcelone, Spain. ⟨hal-04800485⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-LILAC IRIT-IA TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP

0 Consultations

0 Téléchargements

Intuitionistic modal logics: a minimal setting

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager