  \(\mathsf{J}_{0}\) is the logic of general (not necessarily factive) justifications for an  absolutely skeptical agent for whom no formula is provably justified, i.e., \(\mathsf{J}_{0}\)  does not derive \(t : F\) for any \(t\) and  \(F\). Such an agent is, however, capable of drawing  relative justification conclusions of the form