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 186kB |
Official URL: https://doi.org/10.1080/11663081.2017.1368845
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.
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: | |
Funders: | Université Toulouse3, Paul Sabatier (france) - Institut de Recherche en Informatique de Toulouse - IRIT, Université de Toulouse - UPS (France) |
Statistics: | download |
Deposited On: | 13 Nov 2019 08:34 |
Repository Staff Only: item control page