Justification logics for conflicting Information
Loading...
Citations
Altmetric:
Altmetric::
Download
Associated Records
Authors
File Licence
Editors
Date
2015
Source Title
Journal Title
Journal ISSN
Volume Title
Publisher
Melbourne Authors
Affiliation
School of Historical and Philosophical Studies
Document Type
PhD thesis
Subject Code
Citation
Access Status
This item is currently not available from this repository
DOI
Access URL
Open Access URL
Open Access at PMC
Linked Resource URL
NHMRC Grant Code
ARC Grant Code
Description
© 2015 Dr. Che-Ping Su
Abstract
In 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.
Notes
Terms of Use
Keywords
logic, modal logic, justification logic, inconsistent information, conflicting information, paraconsistent logic, belief revision, formal argumentation theory, the Realization Theorem