OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Unification in epistemic logics

Balbiani, Philippe and Gencer, Cigdem Unification in epistemic logics. (2017) Journal of Applied Non-Classical Logics, 27 (1-2). 91-105. ISSN 1166-3081

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1080/11663081.2017.1368845


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.

Item Type:Article
Additional Information:https://www.tandfonline.com/doi/abs/10.1080/11663081.2017.1368845?journalCode=tncl20
HAL Id:hal-02365663
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Université Toulouse3, Paul Sabatier (france) - Institut de Recherche en Informatique de Toulouse - IRIT, Université de Toulouse - UPS (France)
Deposited On:13 Nov 2019 08:34

Repository Staff Only: item control page