Justification logics for conflicting Information

© 2015 Dr. Che-Ping SuIn this thesis, I will develop two types of justification logic systems. Both logics deal with inconsistent information. In the first half of this thesis, we are going to develop a type of justification logic, which is intended to model the agent’s justification structure, when she is in an inconsistent epistemic state. We call the logic to be developed paraconsistent justification logic. In the second half of the thesis, I would like to try to approach formal argumentation theory under the framework of justification logic. The resulting logic will be called argumentative justification logic