Skip to Main content Skip to Navigation
Journal articles

Unification in epistemic logics

Abstract : 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.
Document type :
Journal articles
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02365663
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Friday, November 15, 2019 - 2:43:38 PM
Last modification on : Wednesday, June 9, 2021 - 10:00:28 AM
Long-term archiving on: : Sunday, February 16, 2020 - 4:36:16 PM

File

balbiani_22053.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

310

Files downloads

926