Unification in epistemic logics - Archive ouverte HAL
Article Dans Une Revue Journal of Applied Non-Classical Logics Année : 2017

Unification in epistemic logics

Philippe Balbiani
Logique, Interaction, Langue et Calcul
Centre National de la Recherche Scientifique
Cigdem Gencer
Logique, Interaction, Langue et Calcul

Résumé

Epistemic logics are essential to the design of logical systems that capture elements of reasoning about knowledge. In this paper, we study the computability of unifiability and the unification types in several epistemic logics.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
balbiani_22053.pdf (181.9 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-02365663

Soumis le : vendredi 15 novembre 2019-14:43:38

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

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

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

Philippe Balbiani, Cigdem Gencer. Unification in epistemic logics. Journal of Applied Non-Classical Logics, 2017, 27 (1-2), pp.91-105. ⟨10.1080/11663081.2017.1368845⟩. ⟨hal-02365663⟩

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
34 Consultations
70 Téléchargements

Altmetric

Partager

More