Sergei Artemov, Melvin Fitting

Justification Logic

• Gebundenes Buch

Produktbeschreibung

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

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 270
• Erscheinungstermin: 26. April 2019
• Englisch
• Abmessung: 235mm x 157mm x 21mm
• Gewicht: 595g
• ISBN-13: 9781108424912
• ISBN-10: 1108424910
• Artikelnr.: 54542262

Autorenporträt

Sergei Artemov is Distinguished Professor at the City University of New York. He is a specialist in mathematical logic, logic in computer science, control theory, epistemology, and game theory. He is credited with solving long-standing problems in constructive logic that had been left open by Goedel and Kolmogorov since the 1930s. He has pioneered studies in the logic of proofs and justifications that renders a new, evidence-based theory of knowledge and belief. The most recent focus of his interests is epistemic foundations of game theory.

Inhaltsangabe

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.