Skip to Main content Skip to Navigation
Theses

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

Abstract : In this Ph.D. dissertation we investigate reasoning about information change in the presence of incomplete or inconsistent information, and the characterisation of notions of bisimulation on models encoding such reasoning patterns. Modal logics for incomplete and inconsistent information are typically weaker than the standard modal logics, such as the modal logic of contingency. We use logical, algebraic and co-algebraic methods to achieve our aims. The dissertation consists of two main parts. The first part focusses on reasoning about information change, and the second part focusses on expressivity and bisimulation. In the following, we give an overview of the contents of this dissertation
Document type :
Theses
Complete list of metadatas

Cited literature [149 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01680340
Contributor : Abes Star :  Contact
Submitted on : Wednesday, January 10, 2018 - 3:47:14 PM
Last modification on : Tuesday, April 24, 2018 - 1:29:50 PM
Long-term archiving on: : Saturday, May 5, 2018 - 4:15:43 AM

File

DDOC_T_2017_0208_BAKHTIARINOOD...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01680340, version 1

Collections

Citation

Zeinab Bakhtiarinoodeh. The Dynamics of Incomplete and Inconsistent Information : Applications of logic, algebra and coalgebra. Logic in Computer Science [cs.LO]. Université de Lorraine, 2017. English. ⟨NNT : 2017LORR0208⟩. ⟨tel-01680340⟩

Share

Metrics

Record views

191

Files downloads

490