Bücher online kaufen
Justification Logic
-0 %
HC gerader Rücken kaschiert
Print on Demand | Lieferzeit: Print on Demand - Lieferbar innerhalb von 3-5 Werktagen I
Artikel-Nr:
9781108424912
Veröffentl:
2019
Einband:
HC gerader Rücken kaschiert
Erscheinungsdatum:
26.04.2019
Seiten:
270
Autor:
Sergei Artemov
Gewicht:
595 g
Format:
235x157x21 mm
Sprache:
Englisch
Beschreibung:
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.
Develops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.
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.