Develops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
