Sergei Artemov, Melvin Fitting

Gebundenes Buch

Justification Logic

Beschreibung

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

Autor

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.

Produktdetails

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