KD is nullary - Archive ouverte HAL
Article Dans Une Revue Journal of Applied Non-Classical Logics Année : 2017

KD is nullary

Résumé

In the ordinary modal language, KD is the modal logic determined by the class of all serial frames. In this paper, we demonstrate that KD is nullary.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
balbiani_22052.pdf (313.87 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Open Archive Toulouse Archive Ouverte (OATAO)  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02365665

Soumis le : vendredi 15 novembre 2019-14:44:05

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

Archivage à long terme le : dimanche 16 février 2020-16:23:34

Télécharger pour visualiser

Dates et versions

hal-02365665 , version 1 (15-11-2019)

Identifiants

Citer

Philippe Balbiani, Cigdem Gencer. KD is nullary. Journal of Applied Non-Classical Logics, 2017, 27 (3-4), pp.196-205. ⟨10.1080/11663081.2018.1428000⟩. ⟨hal-02365665⟩

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
36 Consultations
79 Téléchargements

Altmetric

Partager

More