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

Unification in epistemic logics

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.
Fichier principal
Vignette du fichier
balbiani_22053.pdf (181.9 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

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⟩
18 Consultations
58 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More