First of all, I would like to thank Prof. Dr. Gerhard Jäger, who has made this thesis possible and whose guidance and advice I value very much. Many thanks also to the members of the Logic and Theory group of the Institut für angewandte Mathematik und Informatik and the Logic Group of the Mathematisches Institut of the University of Bern, who have provided an inspiring environment. In particular, I would like t
AbstractJustification logic studies epistemic and provability phenomena by introducing justification...
Justification logics are a family of modal logics whose non-normal modalities are parametrised by a ...
This work is focused on the interconnections between evidence, knowledge, and justification. I defen...
Justification logics are constructive analogues of modal logics. As such, they provide perspicuous m...
© 2015 Dr. Che-Ping SuIn this thesis, I will develop two types of justification logic systems. Both...
We describe a general logical framework, Justification Logic, for reasoning about epistemic justific...
AbstractIn this paper we introduce the justified knowledge operator J with the intended meaning of J...
We develop an abstract theory of justifications suitable for describing the semantics of a range of ...
Justification Logic is an emerging field that studies provability, knowledge, and belief via explici...
today We describe a formal theory of justification, Justification Logic, based on classical proposit...
In this paper, we will sketch the basic system of Justification Logic, which is a general logical fr...
The logic of justification provides an in-depth analysis of the epistemic states of an agent. This p...
In this paper, I present the fundamental ideas of a new theory of justification strength. This theor...
This thesis studies the combination of two well known formal systems for knowledge representation: p...
Justification is a basic component of reasoning because it provides us with the warrant which should...
AbstractJustification logic studies epistemic and provability phenomena by introducing justification...
Justification logics are a family of modal logics whose non-normal modalities are parametrised by a ...
This work is focused on the interconnections between evidence, knowledge, and justification. I defen...
Justification logics are constructive analogues of modal logics. As such, they provide perspicuous m...
© 2015 Dr. Che-Ping SuIn this thesis, I will develop two types of justification logic systems. Both...
We describe a general logical framework, Justification Logic, for reasoning about epistemic justific...
AbstractIn this paper we introduce the justified knowledge operator J with the intended meaning of J...
We develop an abstract theory of justifications suitable for describing the semantics of a range of ...
Justification Logic is an emerging field that studies provability, knowledge, and belief via explici...
today We describe a formal theory of justification, Justification Logic, based on classical proposit...
In this paper, we will sketch the basic system of Justification Logic, which is a general logical fr...
The logic of justification provides an in-depth analysis of the epistemic states of an agent. This p...
In this paper, I present the fundamental ideas of a new theory of justification strength. This theor...
This thesis studies the combination of two well known formal systems for knowledge representation: p...
Justification is a basic component of reasoning because it provides us with the warrant which should...
AbstractJustification logic studies epistemic and provability phenomena by introducing justification...
Justification logics are a family of modal logics whose non-normal modalities are parametrised by a ...
This work is focused on the interconnections between evidence, knowledge, and justification. I defen...