  Justification Logic is a formal logical framework which incorporates  epistemic assertions \(t : F\), standing for  ‘\(t\) is a justification for \(F\)’.  Justification Logic does not directly analyze what it means for  \(t\) to justify \(F\) beyond the format  \(t : F\), but rather attempts to characterize this  relation axiomatically. This is similar to the way Boolean logic  treats its connectives, say, disjunction: it does not analyze the  formula \(p \vee q\) but rather assumes certain logical axioms and truth tables about this formula.