Some remarks about intuitionistic modal logics (Conference on Mathematical Logic , Bulgaria, 2016) - Université Toulouse III - Paul Sabatier - Toulouse INP Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Some remarks about intuitionistic modal logics (Conference on Mathematical Logic , Bulgaria, 2016)

Domaines

Informatique [cs]

Documentation IRIT  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03176434

Soumis le : lundi 22 mars 2021-13:35:55

Dernière modification le : lundi 20 novembre 2023-11:44:23

Fichier non déposé

Dates et versions

hal-03176434 , version 1 (22-03-2021)

Identifiants

  • HAL Id : hal-03176434 , version 1

Citer

Philippe Balbiani. Some remarks about intuitionistic modal logics (Conference on Mathematical Logic , Bulgaria, 2016). Conference on Mathematical Logic dedicated to the 80th anniversary of Dimiter Skordev (2016), Oct 2016, Gyolechitsa, Bulgaria. ⟨hal-03176434⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS SMS UT1-CAPITOLE IRIT IRIT-LILAC IRIT-IA TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
20 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More