The Dynamics of Incomplete and Inconsistent Information : Applications of logic, algebra and coalgebra

The Dynamics of Incomplete and Inconsistent Information : Applications of logic, algebra and coalgebra

Cette thèse est structurée autour de deux axes d’études : (1) développer des logiques épistémiques formalisant la prise en compte de nouvelles données en présence d'informations incomplètes ou incohérentes ; (2) caractériser les notions de bisimulation sur les modèles de ces nouvelles logiques....

Full description

Bibliographic Details
Main Author: Bakhtiarinoodeh, Zeinab
Other Authors: Université de Lorraine
Language:en
Published: 2017
Subjects:
Informations incomplètes
Informations incohérentes
Logiques modales
Logique épistémique dynamique
Modèle de voisinage
Logique de contingence
Co-algèbre
Bisimulation
Incomplete knowledge
Inconsistent knowledge
Modal logics
Dynamic epistemic logic
Neighbourhood model
Contingency logic
Coalgebra
004.015 113
Online Access:http://www.theses.fr/2017LORR0208/document

Internet

http://www.theses.fr/2017LORR0208/document

Similar Items