descriptionPublicationkeyboard_double_arrow_right Article 03 Apr 2017 English Publisher:Informa UK LimitedJournal:Journal of Applied Non-Classical Logics, volume 27, pages 91-105 (issn: 1166-3081, eissn: 1958-5780,

Authors: Balbiani, Philippe; Gencer, Cigdem;

doi: 10.1080/11663081.2017.1368845

Unification in epistemic logics

- Summary
- Subjects
- Metrics

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.

Related Organizations

UNIVERSITE FEDERALE DE TOULOUSE MIDI-PYRENEES
France
University of Toulouse II - Le Mirail
France
National Polytechnic Institute of Toulouse
France
Toulouse Institute of Computer Science Research
France
Sabancı University
Turkey

View all View all

Keywords

Logique en informatique, Computability, Unification type, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Unification problem, 100, Epistemic logic, 004

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	7
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average