Justification Logic : Reasoning with Reasons (Hardcover)

Introduction: 1. Why justification logic?; 2. The basics of justification logic; 3. The ontology of justifcations; 4. Fitting models; 5. Sequents and tableaus; 6. Realization ? how it began; 7. Realization ? generalized; 8. The range of realization; 9. Arithmetical completeness and BHK semantics; 10. Quantifiers in justification logic; 11. Going past modal logic.