Justification Logic: Reasoning with Reasons

ISBN-13: 9781108424912 / Angielski / Twarda / 2019 / 268 str.

Sergei Artemov; Melvin Fitting

Opis

Develops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.

Recenzje

'Good examples, illuminating diagrams, deep insights contribute to making the book most valuable to readers who intend to work in the area, but also to anyone interested in mathematical and philosophical logic in general, as concepts and results are truly fundamental and profound.' Éric Martin, zbMATH

Spis treści

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.