Justification Logic by Sergei Artemov
Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and therefore provides a logical framework for the reliability of assertions. This book, the first in the area, is a systematic account of the subject, progressing from modal logic through to the establishment of an arithmetic interpretation of intuitionistic logic. The presentation is mathematically rigorous but in a style that will appeal to readers from a wide variety of areas to which the theory applies. These include mathematical logic, artificial intelligence, computer science, philosophical logic and epistemology, linguistics, and game theory.-
The Geometry of Fractal Sets
-
Riemannian Geometry
-
Miniquaternion Geometry
-
The Geometry of Total Curvature on Complete Open Surfaces
-
Metric Spaces
-
A Universal Construction for Groups Acting Freely on Real Trees
-
Birational Geometry and Manin's Conjecture
-
Coherence in Three-Dimensional Category Theory
-
Dilation and Model Theory for Pairs of Commuting Contraction Operators
-
The Direct Method in Soliton Theory
-
Matrix Positivity
-
Rigidity in Higher Rank Abelian Group Actions: Volume 1, Introduction and Cocycle Problem
-
Topics in Critical Point Theory
-
Category and Measure
-
The Mathieu Groups
-
Modern Approaches to the Invariant-Subspace Problem
-
Frobenius Manifolds and Moduli Spaces for Singularities
-
Group Cohomology and Algebraic Cycles
-
Permutation Group Algorithms
-
Nonlinear Perron–Frobenius Theory
-
Abelian Varieties, Theta Functions and the Fourier Transform
-
Matrices of Sign-Solvable Linear Systems
-
The Cube-A Window to Convex and Discrete Geometry
-
The Large Sieve and its Applications
-
Combinatorics of Minuscule Representations
-
Polynomials and Vanishing Cycles
-
Restricted Orbit Equivalence for Actions of Discrete Amenable Groups
-
Metric Diophantine Approximation on Manifolds
-
Applications of Diophantine Approximation to Integral Points and Transcendence
-
An Introduction to Homotopy Theory
-
Linear and Projective Representations of Symmetric Groups
-
Dependence with Complete Connections and its Applications
-
Fixed Point Theory and Applications
-
Synthetic Geometry of Manifolds
-
Dynamical Systems and Semisimple Groups
-
Distribution Modulo One and Diophantine Approximation
-
The Levy Laplacian
-
Sets of Multiples
-
Period Domains over Finite and p-adic Fields
-
Large Deviations for Markov Chains
-
Levy Processes in Lie Groups
-
Character Sums with Exponential Functions and their Applications
-
Poincare Duality Algebras, Macaulay's Dual Systems, and Steenrod Operations
-
Quasi-Frobenius Rings
-
The Covering Property Axiom, CPA
-
Ridge Functions
-
Jordan Structures in Geometry and Analysis
-
Typical Dynamics of Volume Preserving Homeomorphisms
'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' Eric Martin, zbMATH
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. Melvin Fitting is Professor Emeritus at the City University of New York. He has written or edited a dozen books, and has worked in intensional logic, semantics for logic programming, theory of truth, and tableau systems for non-classical logics. In 2012 he received the Herbrand Award from the Conference on Automated Deduction. He was on the faculty of the City University of New York from 1969 to his retirement in 2013, at Lehman College, and at the Graduate Center, where he was in the Departments of Mathematics, Computer Science, and Philosophy.
| SKU | Unavailable |
| ISBN 13 | 9781108424912 |
| ISBN 10 | 1108424910 |
| Title | Justification Logic |
| Author | Sergei Artemov |
| Series | Cambridge Tracts In Mathematics |
| Condition | Unavailable |
| Binding Type | Hardback |
| Publisher | Cambridge University Press |
| Year published | 2019-05-02 |
| Number of pages | 268 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |